|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
75094 |
| 003 |
CZ-ZlUTB |
| 005 |
20251006170616.0 |
| 006 |
m d |
| 007 |
cr un |
| 008 |
130212s2000 maua sb 101 0 eng d |
| 020 |
|
|
|a 9780262291118
|q (ebook)
|
| 035 |
|
|
|a (OCoLC)827335564
|
| 040 |
|
|
|a IEEEE
|c IEEEE
|d OCLCO
|d OCLCF
|d OCLCO
|
| 111 |
2 |
|
|a International Conference on Logic Programming
|n (16th :
|d 1999 :
|c Las Cruces, N.M.)
|
| 245 |
1 |
0 |
|a Logic programming
|h [elektronický zdroj] :
|b proceedings of the 1999 International Conference on Logic Programming /
|c edited by Danny De Schreye.
|
| 260 |
|
|
|a Cambridge, Mass. ;
|a London :
|b MIT,
|c 2000.
|
| 300 |
|
|
|a 1 online zdroj (xx, 450 p.) :
|b ill.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
|
|a Declarative Programming for a Messy World / Fernando Pereira -- Logics and Database Modeling / Bernhard Thalheim -- Adventures in the Prolog Trade / Ken Bowen -- Answer Set Planning / Vladimir Lifschitz -- Logic Programming in Oz with Mozart / Peter Van Roy -- Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor / Manuel V. Hermenegildo, Francisco Bueno and German Puebla / [et al.] -- From Prolog and Zelda to ToonTalk / Ken Kahn -- Disjunctive Logic Programs with Inheritance / Francesco Buccafurri, Wolfgang Faber and Nicola Leone -- Event, Property, and Hierarchy in Order-Sorted Logic / Ken Kaneiwa and Satoshi Tojo -- Temporal Probabilistic Logic Programs / Alex Dekhtyar, Michael I. Dekhtyar and V. S. Subrahmanian -- An Optimized Prolog Encoding of Typed Feature Structures / Gerald Penn -- A Generic Approach to Monitor Program Executions / Erwan Jahier and Mireille Ducasse -- Generating Deductive Database Explanations / Sarah Mallet and Mireille Ducasse.
|
| 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
|v Congresses.
|
| 655 |
|
7 |
|a elektronické knihy
|7 fd186907
|2 czenas
|
| 655 |
|
9 |
|a electronic books
|2 eczenas
|
| 700 |
1 |
|
|a De Schreye, Danny.
|
| 776 |
0 |
8 |
|i Print version:
|a International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.).
|t Logic programming.
|d Cambridge, Mass. ; London : MIT, 2000
|z 0262541041
|w (DLC) 00267746
|w (OCoLC)42746072
|
| 856 |
4 |
0 |
|u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
|
| 992 |
|
|
|a BK
|c EBOOK-TN
|c MITPRESS
|
| 999 |
|
|
|c 75094
|d 75094
|
| 993 |
|
|
|x NEPOSILAT
|y EIZ
|
