Logic programming proceedings of the 1999 International Conference on Logic Programming

Saved in:
Bibliographic Details
Corporate Author: International Conference on Logic Programming Las Cruces, N.M.)
Other Authors: De Schreye, Danny.
Format: eBook
Language: English
Published: Cambridge, Mass. ; London : MIT, 2000.
Subjects:
Logic programming > Congresses.
elektronické knihy
electronic books
ISBN: 9780262291118
Physical Description: 1 online zdroj (xx, 450 p.) : ill.

Cover

Table of contents

LEADER 02523cam a2200313 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 

Similar Items