Warren's abstract machine : a tutorial reconstruction / Hassan Ai͏̈t-Kaci

By:

Aït-Kaci, Hassan, 1954- [aut]

Contributor(s):

Ai͏̈t-Kaci, Hassan [oth]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Logic programmingPublisher: Cambridge, Mass. [u.a.] : MIT Press, 1991Description: XVI, 114 SISBN:

0262011239
0262510588

Subject(s):

DDC classification:

006.3

RVK: RVK: ST 300 | ST 250 | ST 130LOC classification:

QA76.73.P76

Call number: Grundsignatur: 91 A 4862PPN: PPN: 276638255

Holdings ( 1 )

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	91 A 4862	Available	45696314090

Total holds: 0

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)