Local cover image
Logic of computation
Material type:
TextSeries: NATO ASI series. Series F, Computer and systems sciences ; 157Publication details: Berlín : Springer, c1997Edition: 1st edDescription: vi, 394 p. ; 24 cmISBN: - 3540629637
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | F.4.1 LOG (Browse shelf(Opens below)) | Available | DIF-00057 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| F.4.1 HUT Logic in computer science : modelling and reasoning about systems | F.4.1 KOW Lógica, programación e inteligencia artificial | F.4.1 KOW Lógica, programación e inteligencia artificial | F.4.1 LOG Logic of computation | F.4.1 MAN v.1 The logical basis for computer programming | F.4.1 MAN v.2 The logical basis for computer programming | F.4.1 MEN Introduction to mathematical logic |
Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995 -en rev. de portada.
Click on an image to view it in the image viewer