Salta al contenuto
VuFind
Lingua
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tutti i Campi
Titolo
Autore
Soggetto
Collocazione
ISBN/ISSN
Tag
Cerca
Avanzata
Handbook of logic and proof te...
Citazione
Invia email
Stampa
Esporta il record
Esporta a RefWorks
Esporta a EndNoteWeb
Esporta a EndNote
permanent_link
Caricamento...
Handbook of logic and proof techniques for computer science
Dettagli Bibliografici
Autore principale:
karntz, Steven G
Natura:
Printed Book
Pubblicazione:
Birkhauser, Boston
2002
Soggetti:
Computer science
Posseduto
Descrizione
Documenti analoghi
MARC21
Documenti analoghi
Handbook of logic and proof techniques for computer science /
di: Krantz, Steven G.
Pubblicazione: (2002)
Computer aided proofs in analysis
Pubblicazione: (1990)
Logic and proof techniques/
di: Eberle, Rolf
Pubblicazione: (1996)
Logic In Computer Science /
di: Huth, Michael .
Pubblicazione: (2004)
Computer science logic /
Pubblicazione: (2003)
Caricamento...