top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Computers : from logic to architecture / R.D. Dowsing and F.W.D. Woodhams
Computers : from logic to architecture / R.D. Dowsing and F.W.D. Woodhams
Autore Dowsing, Roy D.
Pubbl/distr/stampa London [etc.], : Chapman & Hall, 1990
Descrizione fisica XIV, 290 p. ; 24 cm
Disciplina 004.2
Altri autori (Persone) Woodhams, Frank W.D.
Soggetto topico Elaboratori elettronici
ISBN 0412446502
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNISANNIO-NAP0391276
Dowsing, Roy D.  
London [etc.], : Chapman & Hall, 1990
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
A first course in formal logic and its applications in computer science / R. D. Dowsing, V. J. Rayward-Smith, C. D. Walter
A first course in formal logic and its applications in computer science / R. D. Dowsing, V. J. Rayward-Smith, C. D. Walter
Autore Dowsing, Roy D.
Pubbl/distr/stampa Boston ; Oxford : Blackwell Scientific Publ., 1986
Descrizione fisica vi, 265 p. : ill. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Rayward-Smith, V. J.
Walter, C. D.
Collana Computer science texts
Soggetto topico Computer science
Mathematical logic
Symbolic logic
ISBN 0632013087 (pbk.)
Classificazione AMS 03-01
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991000893849707536
Dowsing, Roy D.  
Boston ; Oxford : Blackwell Scientific Publ., 1986
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui