- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783764341114
3764341114
9780817641115
0817641114
- Maße
-
24 cm
- Umfang
-
XVII, 424 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Literaturverz. S. 405 - 412
- Schlagwort
-
Beweis
Mathematik
Mengenlehre
Funktion
Zahlensystem
- Ereignis
-
Veröffentlichung
- (wo)
-
Boston, Basel, Berlin
- (wer)
-
Birkhäuser
- (wann)
-
2000
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:55 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Bloch, Ethan D.
- Birkhäuser
Entstanden
- 2000
Ähnliche Objekte (12)
Mathematics, algorithms, proofs : 05021 abstracts collection ; Dagstuhl seminar
Mathematics, algorithms, proofs : 05021 summary ; 09.01. - 14.01.05
Lecture Mathematics: The Value of Erro in Proofs
Schematic Program Proofs with Abstract Execution : Theory and Applications
Mathematics in the Digital Age: The Case of Simulation-Based Proofs
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)
Fundamentals of artificial intelligence : an advanced course
Fundamentals of artificial intelligence : an advanced course
A first course in discrete mathematics
Foundations of mathematics: a preparatory course
Termination proofs for a lazy functional language by abstract reduction : (draft)
Elementary theory of metric spaces : a course in constructing mathematical proofs
Mathematics, algorithms, proofs : 05021 abstracts collection ; Dagstuhl seminar
Mathematics, algorithms, proofs : 05021 summary ; 09.01. - 14.01.05
Lecture Mathematics: The Value of Erro in Proofs
Schematic Program Proofs with Abstract Execution : Theory and Applications
Mathematics in the Digital Age: The Case of Simulation-Based Proofs
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)
Fundamentals of artificial intelligence : an advanced course
Fundamentals of artificial intelligence : an advanced course
A first course in discrete mathematics
Foundations of mathematics: a preparatory course
Termination proofs for a lazy functional language by abstract reduction : (draft)
Elementary theory of metric spaces : a course in constructing mathematical proofs
Mathematics, algorithms, proofs : 05021 abstracts collection ; Dagstuhl seminar
Mathematics, algorithms, proofs : 05021 summary ; 09.01. - 14.01.05
Lecture Mathematics: The Value of Erro in Proofs
Schematic Program Proofs with Abstract Execution : Theory and Applications
Mathematics in the Digital Age: The Case of Simulation-Based Proofs
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)
Fundamentals of artificial intelligence : an advanced course
Fundamentals of artificial intelligence : an advanced course
A first course in discrete mathematics
Foundations of mathematics: a preparatory course
Termination proofs for a lazy functional language by abstract reduction : (draft)