Přeskočit na obsah
VuFind
Jazyk
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
हिंदी
Vše
Název
Autor
Téma
Signatura
ISBN/ISSN
Tag
Hledat
Pokročilé
Handbook of logic and proof te...
Vytvořit citaci
Poslat emailem
Vytisknout
Exportovat záznam
Exportovat do RefWorks
Exportovat do EndNoteWeb
Exportovat do EndNote
permanent_link
Načítá se...
Handbook of logic and proof techniques for computer science
Podrobná bibliografie
Hlavní autor:
karntz, Steven G
Médium:
Printed Book
Vydáno:
Birkhauser, Boston
2002
Témata:
Computer science
Jednotky
Popis
Podobné jednotky
UNIMARC/MARC
Podobné jednotky
Handbook of logic and proof techniques for computer science /
Autor: Krantz, Steven G.
Vydáno: (2002)
Computer aided proofs in analysis
Vydáno: (1990)
Logic and proof techniques/
Autor: Eberle, Rolf
Vydáno: (1996)
Logic In Computer Science /
Autor: Huth, Michael .
Vydáno: (2004)
Computer science logic /
Vydáno: (2003)
Načítá se...