The Practice of Prolog

Saved in:
Bibliographic Details
Other Authors: Sterling, Leon.
Format: eBook
Language: English
Published: Cambridge, Mass. : MIT Press, c1990.
Series: Logic programming.
Subjects:
Prolog (Computer program language)
elektronické knihy
electronic books
ISBN: 9780262284332
Physical Description: 1 online zdroj (312 p.) : ill.

Cover

Table of contents

LEADER 02077cam a2200361 a 4500
001 74722
003 CZ ZlUTB
005 20200530174332.0
006 m d
007 cr un
008 010223s1990 maua sb 000 0 eng d
020 |a 9780262284332  |q (ebook) 
035 |a (OCoLC)47011324  |z (OCoLC)645781189  |z (OCoLC)827307497 
040 |a N$T  |b eng  |c N$T  |d OCL  |d OCLCQ  |d YDXCP  |d OCLCQ  |d IEEEE  |d OCLCF  |d OCLCE 
245 0 4 |a The Practice of Prolog  |h [elektronický zdroj] /  |c edited by Leon S. Sterling. 
260 |a Cambridge, Mass. :  |b MIT Press,  |c c1990. 
300 |a 1 online zdroj (312 p.) :  |b ill. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Logic programming 
504 |a Includes bibliographical references (p. [303]-312). 
505 0 |a Prototyping databases in Prolog / T. Kazic ... [et al.] -- PREDITOR : a Prolog-based VLSI editor / Peter B. Reintjes -- Assisting register transfer level hardware design : a Prolog application / Paul J. Drongowski -- Developing a portable parallelizing Pascal compiler in Prolog / Eran Gabber -- ProMiX : a Prolog partial evaluation system / Arun Lakhotia and Leon Sterling -- Generating natural language explanations from plans / Chris Mellish -- A simple learning program / Richard O'Keefe -- Stream data analysis in Prolog / D. Stott Parker. 
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 Prolog (Computer program language) 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Sterling, Leon. 
776 0 8 |i Print version:  |t Practice of Prolog.  |d Cambridge, Mass. : MIT Press, c1990  |z 0262193019  |w (DLC) 90042397  |w (OCoLC)22119061 
830 0 |a Logic programming. 
856 4 0 |u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439  |y Plný text 
992 |a BK  |c EBOOK-TN  |c MITPRESS 
999 |c 74722  |d 74722 

Similar Items