IT
|
EN
IT
|
EN
Log In
Geca 3.0 - go to homepage
Toggle navigation
Home
Esplora
Risorse Bibliografiche
Libri e Riviste
Spogli
Altre Risorse
Beni Archivistici
Fotografie
Patrimonio Scientifico–Tecnologico
Opere e Oggetti d'Arte
Patrimonio Iconografico e Audio/Video
Navigazione Guidata
Catalogazione e Descrizione
Storytelling
Guida alle Fonti
Libri Antichi Digitalizzati
Voci di Autorità
Strutture e Soggetti Conservatori
Authority Autori e Responsabilità
Monografia, Moderno
Home
Indietro
Vol. 2: Deductive systems
È parte di
The logical basis for computer programming ; Vol. 2
Fa parte della collezione
Addison–Wesley Series in Computer Science
Pubblicazione
Reading (Massachusetts) ; Menlo Park (California) ; New York ; Don Mills (Ontario) ; Wokingham (England) ; Amsterdam ; Bonn ; Sydney ; Singapore ; Tokyo ; Madrid ; San Jaun : Addison–Wesley, ©1990
Descrizione fisica
xiii, 642 p. ; 25 cm
Codici internazionali
ISBN
0–201–18261–0
n° Library of Congress
84–20346
Classificazione
Dewey
: 160 Logica
Dewey
: 510 Matematica
Paese di pubblicazione
Stati Uniti d'America, Canada, Regno Unito, Paesi Bassi, Germania, Australia, Singapore, Giappone, Spagna, Argentina
Lingua
Inglese (Il documento è nella lingua originale dell'opera)
Altri titoli
Titolo di Opera
The logical basis for computer programming
Posseduto
#
Collocazione
Prestabile
Disponibilità
ARGE1 (GE) - AREA
UTENZA: L.III.4/37
Si
Biblioteca
IT/ItRC/00310809
Blindata / Pubblicabile
Creata da Rosangela Barcaro, 30/10/2014
Frontespizio/Indice
Frontespizio/Indice
Apri
Mostra per
Etichette
ISBD
Unimarc
XML Unimarc
Marc21
XML Marc21
Comandi Utili
Risorsa originale