Logic programming and non-monotonic reasoning proceedings of the second international workshop

Saved in:
Bibliographic Details
Other Authors: Pereira, Luís Moniz., Nerode, Anil, 1932-
Format: eBook
Language: English
Published: Cambridge, Mass. : MIT Press, c1993.
Subjects:
Logic programming > Congresses.
Nonmonotonic reasoning > Congresses.
elektronické knihy
electronic books
ISBN: 9780262291378
Physical Description: 1 online zdroj (vii, 494 p.) : ill.

Cover

Table of contents

LEADER 01579cam a2200337 a 4500
001 75097
003 CZ ZlUTB
005 20240911212442.0
006 m d
007 cr un
008 130212s1993 maua sb 101 0 eng d
020 |a 9780262291378  |q (ebook) 
035 |a (OCoLC)827335568 
040 |a IEEEE  |c IEEEE  |d OCLCF  |d OCLCO 
245 0 0 |a Logic programming and non-monotonic reasoning  |h [elektronický zdroj] :  |b proceedings of the second international workshop /  |c edited by Luís Moniz Pereira and Anil Nerode. 
260 |a Cambridge, Mass. :  |b MIT Press,  |c c1993. 
300 |a 1 online zdroj (vii, 494 p.) :  |b ill. 
500 |a Papers presented during the workshop held in Lisbon in June 1993. 
504 |a Includes bibliographical references and index. 
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. 
650 0 |a Nonmonotonic reasoning  |v Congresses. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Pereira, Luís Moniz. 
700 1 |a Nerode, Anil,  |d 1932- 
776 0 8 |i Print version:  |t Logic programming and non-monotonic reasoning.  |d Cambridge, Mass. : MIT Press, c1993  |z 0262660830  |w (DLC) 93017020  |w (OCoLC)27814136 
856 4 0 |u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520  |y Plný text 
992 |a BK  |c EBOOK-TN  |c MITPRESS 
999 |c 75097  |d 75097 
993 |x NEPOSILAT  |y EIZ 

Similar Items