Logic programming proceedings of the 1999 International Conference on Logic Programming
Saved in:
| Corporate Author | |
|---|---|
| Other Authors | |
| Format | eBook |
| Language | English |
| Published |
Cambridge, Mass. ; London :
MIT,
2000.
|
| Subjects | |
| Online Access | Plný text |
Cover
Loading…
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 75094 | ||
| 003 | CZ ZlUTB | ||
| 005 | 20200530174425.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 |y Plný text |
| 992 | |a BK |c EBOOK-TN |c MITPRESS | ||
| 999 | |c 75094 |d 75094 | ||