Staff View: Warren's abstract machine

Warren's abstract machine a tutorial reconstruction

Saved in:

Bibliographic Details
Main Author:	Aït-Kaci, Hassan, 1954-
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, c1991.
Series:	Logic programming.
Subjects:	Prolog (Computer program language) Logic programming. Electronic digital computers. elektronické knihy electronic books
ISBN:	9780262255585
Physical Description:	1 online zdroj (xvi, 114 p.) : ill.


LEADER	01478cam a2200337 a 4500
001	74969
003	CZ ZlUTB
005	20200530174409.0
006	m d
007	cr un
008	130208s1991 maua sb 001 0 eng d
020			\|a 9780262255585 \|q (ebook)
035			\|a (OCoLC)827009761
040			\|a IEEEE \|c IEEEE \|d OCLCF
100	1		\|a Aït-Kaci, Hassan, \|d 1954-
245	1	0	\|a Warren's abstract machine \|h [elektronický zdroj] : \|b a tutorial reconstruction / \|c Hassan Aït-Kaci.
260			\|a Cambridge, Mass. : \|b MIT Press, \|c c1991.
300			\|a 1 online zdroj (xvi, 114 p.) : \|b ill.
490	1		\|a Logic programming
504			\|a Includes bibliographical references (p. [105]-107) 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 Prolog (Computer program language)
650		0	\|a Logic programming.
650		0	\|a Electronic digital computers.
655		7	\|a elektronické knihy \|7 fd186907 \|2 czenas
655		9	\|a electronic books \|2 eczenas
776	0	8	\|i Print version: \|a Ačit-Kaci, Hassan, 1954- \|t Warren's abstract machine. \|d Cambridge, Mass. : MIT Press, c1991 \|z 0262011239 \|w (DLC) 91010776 \|w (OCoLC)23287300
830		0	\|a Logic programming.
856	4	0	\|u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208 \|y Plný text
992			\|a BK \|c EBOOK-TN \|c MITPRESS
999			\|c 74969 \|d 74969