Normal view MARC view ISBD view

Logic of computation

Sin autor

Logic of computation - 1st ed. - Berlín : Springer, c1997 - vi, 394 p. ; 24 cm. - NATO ASI series. Series F, Computer and systems sciences 157 .

Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995 -en rev. de portada.

ISBN: 3540629637

Standard No.: DIF-M841

Subjects--Topical Terms:
LÓGICA COMPUTACIONAL
REQUERIMIENTOS/ESPECIFICACIONES

Place hold
Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD