1995, ISBN: 3211826467
[EAN: 9783211826461], Neubuch, [PU: Springer Vienna], VOLLSTÄNDIGKEIT AUTOMATEDDEDUCTION LOGIC PROGRAMMING ALGORITHMANALYSISANDPROBLEMCOMPLEXITY MATHEMATIK GRUNDLAGEN AUTOMATED DEDUCTION … Mehr…
AbeBooks.de |
1995, ISBN: 3211826467
[EAN: 9783211826461], Neubuch, [PU: Springer], pp. 136 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam, Books
AbeBooks.de Majestic Books, Hounslow, United Kingdom [51749587] [Rating: 4 (von 5)] NEW BOOK. Versandkosten: EUR 8.35 Details... |
ISBN: 9783211826461
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book., 2.5
Biblio.co.uk |
1995, ISBN: 3211826467
[EAN: 9783211826461], Neubuch, [PU: Springer], PRINT ON DEMAND Book; New; Fast Shipping from the UK., Books
AbeBooks.de Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 16.69 Details... |
1995, ISBN: 3211826467
[EAN: 9783211826461], Neubuch, [PU: Springer], Books
AbeBooks.de Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 3.99 Details... |
1995, ISBN: 3211826467
[EAN: 9783211826461], Neubuch, [PU: Springer Vienna], VOLLSTÄNDIGKEIT AUTOMATEDDEDUCTION LOGIC PROGRAMMING ALGORITHMANALYSISANDPROBLEMCOMPLEXITY MATHEMATIK GRUNDLAGEN AUTOMATED DEDUCTION … Mehr…
1995, ISBN: 3211826467
[EAN: 9783211826461], Neubuch, [PU: Springer], pp. 136 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam, Books
ISBN: 9783211826461
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book., 2.5
1995, ISBN: 3211826467
[EAN: 9783211826461], Neubuch, [PU: Springer], PRINT ON DEMAND Book; New; Fast Shipping from the UK., Books
1995, ISBN: 3211826467
[EAN: 9783211826461], Neubuch, [PU: Springer], Books
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Collegium Logicum: 1
EAN (ISBN-13): 9783211826461
ISBN (ISBN-10): 3211826467
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2013
Herausgeber: Springer
Buch in der Datenbank seit 2007-05-28T02:02:14+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-10T18:52:02+01:00 (Berlin)
ISBN/EAN: 9783211826461
ISBN - alternative Schreibweisen:
3-211-82646-7, 978-3-211-82646-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kurt gödel, goedel, kurt just, otto gödel, ganser, gesellschaft ulk, godel
Titel des Buches: kurt gödel, collegium logicum
Daten vom Verlag:
Autor/in: Kenneth A. Loparo
Titel: Collegium Logicum; Collegium Logicum
Verlag: Springer; Springer Wien
122 Seiten
Erscheinungsjahr: 1995-01-18
Vienna
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VII, 122 p. 2 illus.
BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Vollständigkeit; automated deduction; logic; programming; algorithm analysis and problem complexity; Mathematical Logic and Foundations; Theoretical, Mathematical and Computational Physics; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Theory of Computation; Algorithms; Mathematische Grundlagen; Mathematische Physik; Theoretische Informatik; Algorithmen und Datenstrukturen; EA
The Last Months of Gerhard Gentzen in Prague.- Some Issues on Gödel’s Unpubhshed Philosophical Manuscripts.- Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie.- Existenz und Negation in Mathematik und Logik.- Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse.- Automated Deduction and Integer Programming.- Methods of Functional Extension.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783709193945 Collegium Logicum (Kurt-Gödel-Gesellschaft)
< zum Archiv...