|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
75048 |
| 003 |
CZ-ZlUTB |
| 005 |
20251006170615.0 |
| 006 |
m d |
| 007 |
cr un |
| 008 |
130212s1993 mau sb 000 0 eng d |
| 020 |
|
|
|a 9780262255646
|q (ebook)
|
| 035 |
|
|
|a (OCoLC)827303967
|
| 040 |
|
|
|a IEEEE
|c IEEEE
|d OCLCF
|
| 245 |
0 |
0 |
|a Logic programming languages
|h [elektronický zdroj] :
|b constraints, functions, and objects /
|c edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten.
|
| 260 |
|
|
|a Cambridge, Mass. :
|b MIT Press,
|c c1993.
|
| 300 |
|
|
|a 1 online zdroj (xiv, 204 p.)
|
| 490 |
1 |
|
|a Logic programming
|
| 504 |
|
|
|a Includes bibliographical references (p. [185]-201).
|
| 505 |
0 |
|
|a Implementation of narrowing: the prolog-based approach / Pui Hung Cheong, Laurent Fribourg -- Logic programs with external procedures / Jan Ma±uszyânski ... [et al.] -- The semantics of equational logic programming as an instance of CLP / Marâia Alpuente ... [et al.] -- A paradigm for asynchronous communication and its application to concurrent constraint programming / Frank S. de Boer ... [et al.] -- A language for contextual logic programming / Luâis Monteiro, Antâonio Porto -- An introduction to L&O / Francis G. McCabe.
|
| 506 |
|
|
|a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
|
| 650 |
|
0 |
|a Logic programming languages.
|
| 655 |
|
7 |
|a elektronické knihy
|7 fd186907
|2 czenas
|
| 655 |
|
9 |
|a electronic books
|2 eczenas
|
| 700 |
1 |
|
|a Apt, Krzysztof R.,
|d 1949-
|
| 700 |
1 |
|
|a Bakker, J. W. de
|q (Jacobus Willem),
|d 1939-
|
| 700 |
1 |
|
|a Rutten, J. J. M. M.
|
| 776 |
0 |
8 |
|i Print version:
|t Logic programming languages.
|d Cambridge, Mass. : MIT Press, c1993
|z 0262011344
|w (DLC) 92046899
|w (OCoLC)27264869
|
| 830 |
|
0 |
|a Logic programming.
|
| 856 |
4 |
0 |
|u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
|
| 992 |
|
|
|a BK
|c EBOOK-TN
|c MITPRESS
|
| 999 |
|
|
|c 75048
|d 75048
|
| 993 |
|
|
|x NEPOSILAT
|y EIZ
|
