- Sprache
-
Deutsch
- Umfang
-
165 S.
- ISBN
-
978-3-486-20773-6
- Identifier
-
910929866
- Reihe
-
Handbuch der Informatik; Bd. 1.1
Thema
Mathematische Logik ; Informatik
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:53 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Logik für Informatiker
Betriebliche Umweltinformationssysteme in Produktion und Logistik : [Workshop der Fachgruppe 4.6.2/5.4.3 "Betriebliche Umweltinformationssysteme" der Gesellschaft für Informatik e.V. (GI-FG BUIS)]
Informatik und Gesellschaft : Verflechtungen und Perspektiven
Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung
Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung
Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung
The degree structure of 1-L reductions
Foundations of logic and mathematics : applications to computer science and cryptography
Logik für Informatiker
Workshop "Logik in der Informatik" : May 25 - 27, 1994, Universität of Paderborn
Automaten und Logiken zur Beschreibung zeitabhängiger Systeme
Logik für Informatiker
Logik für Informatiker
Betriebliche Umweltinformationssysteme in Produktion und Logistik : [Workshop der Fachgruppe 4.6.2/5.4.3 "Betriebliche Umweltinformationssysteme" der Gesellschaft für Informatik e.V. (GI-FG BUIS)]
Informatik und Gesellschaft : Verflechtungen und Perspektiven
Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung
Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung
Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung
The degree structure of 1-L reductions
Foundations of logic and mathematics : applications to computer science and cryptography
Logik für Informatiker
Workshop "Logik in der Informatik" : May 25 - 27, 1994, Universität of Paderborn
Automaten und Logiken zur Beschreibung zeitabhängiger Systeme
Logik für Informatiker
Logik für Informatiker
Betriebliche Umweltinformationssysteme in Produktion und Logistik : [Workshop der Fachgruppe 4.6.2/5.4.3 "Betriebliche Umweltinformationssysteme" der Gesellschaft für Informatik e.V. (GI-FG BUIS)]
Informatik und Gesellschaft : Verflechtungen und Perspektiven
Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung
Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung
Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung
The degree structure of 1-L reductions
Foundations of logic and mathematics : applications to computer science and cryptography
Logik für Informatiker
Workshop "Logik in der Informatik" : May 25 - 27, 1994, Universität of Paderborn
Automaten und Logiken zur Beschreibung zeitabhängiger Systeme