Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the f ...mehr
Verlag
De Gruyter
Erscheinungsdatum
22.05.2023
ISBN/EAN
978-3-11-078219-6
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
94,95 €
Autor
Herausgegeben von Jörg H. Siekmann
Titel
8th International Conference on Automated Deduction
Untertitel
Oxford, England, July 27- August 1, 1986. Proceedings
How to Use This Handbook The Maple Handbook is a complete reference tool for the Maple language, and is written for all Maple users, regardless of their dis cipline or field(s) of interest. All the bu ...mehr
Verlag
Springer US
Erscheinungsdatum
28.08.1995
ISBN/EAN
978-0-387-94331-2
Format
Einband - flex.(Paperback)
Status
nicht lieferbar
Preis
85,55 €
Autor
Herausgegeben von Ghita Holmström-Hintikka, Herausgegeben von Sten Lindström, Herausgegeben von R. Sliwinski
Titel
Collected Papers of Stig Kanger with Essays on his Life and Work
Herausgegeben von Masami Hagiya, Herausgegeben von Azuma Ohuchi
Titel
DNA Computing
Untertitel
8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
Beschreibung
Biomolecular computing has emerged as an interdisciplinary ?eld that draws - gether chemistry, computer science, mathematics, molecular biology, and physics. Our knowledge on DNA nanotechnology and bi ...mehr
Verlag
Springer Berlin
Erscheinungsdatum
01.07.2003
ISBN/EAN
978-3-540-36440-5
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Autor
Herausgegeben von Edmund M. Clarke, Herausgegeben von Robert P. Kurshan
Titel
Computer-Aided Verification
Untertitel
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
Roman. Aus dem Amerikanischen von Tobias Schnettler
Beschreibung
Ein wirklich guter Berlinroman.
Mit Leichtigkeit werden schwierige Themen verhandelt: Identität, Gender, Nationalsozialismus, Klassengrenzen und vieles mehr.