1996, ISBN: 321182796X
[EAN: 9783211827963], Neubuch, [SC: 36.06], [PU: Springer Vienna], LOGIK; PHILOSOPHIE / MATHEMATIK RESOLUTION; TURINGMACHINE; COMPLEXITY; COMPLEXITYTHEORY; LOGIC; MATHEMATICALLOGIC; PROOF… Más…
| ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Gastos de envío: EUR 36.06 Details... |
1996, ISBN: 321182796X
[EAN: 9783211827963], Neubuch, [PU: Springer Verlag], 147 pages. 9.75x6.75x0.50 inches. In Stock., Books
| AbeBooks.de Revaluation Books, Exeter, United Kingdom [2134736] [Rating: 5 (von 5)] NEW BOOK. Gastos de envío: EUR 12.85 Details... |
ISBN: 9783211827963
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book., 2.5
| Biblio.co.uk |
1996, ISBN: 321182796X
[EAN: 9783211827963], Gebraucht, wie neu, [PU: Springer], Like New, Books
| AbeBooks.de Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)] NOT NEW BOOK. Gastos de envío: EUR 21.84 Details... |
1996, ISBN: 321182796X
[EAN: 9783211827963], Neubuch, [PU: Springer], Books
| AbeBooks.de Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (von 5)] NEW BOOK. Gastos de envío: EUR 3.99 Details... |
1996, ISBN: 321182796X
[EAN: 9783211827963], Neubuch, [SC: 36.06], [PU: Springer Vienna], LOGIK; PHILOSOPHIE / MATHEMATIK RESOLUTION; TURINGMACHINE; COMPLEXITY; COMPLEXITYTHEORY; LOGIC; MATHEMATICALLOGIC; PROOF… Más…
Not Available (Not Available):
Collegium Logicum: Annals of the Kurt-Godel Society: Vol 2 - Pasta blanda1996, ISBN: 321182796X
[EAN: 9783211827963], Neubuch, [PU: Springer Verlag], 147 pages. 9.75x6.75x0.50 inches. In Stock., Books
ISBN: 9783211827963
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book., 2.5
1996, ISBN: 321182796X
[EAN: 9783211827963], Gebraucht, wie neu, [PU: Springer], Like New, Books
Datos bibliográficos del mejor libro coincidente
| Autor: | |
| Título: | |
| ISBN: |
Detalles del libro - Collegium Logicum (Collegium Logicum, 2, Band 2)
EAN (ISBN-13): 9783211827963
ISBN (ISBN-10): 321182796X
Tapa dura
Tapa blanda
Año de publicación: 2013
Editorial: Springer
Libro en la base de datos desde 2007-11-18T10:04:43-06:00 (Mexico City)
Página de detalles modificada por última vez el 2024-01-10T11:52:01-06:00 (Mexico City)
ISBN/EAN: 9783211827963
ISBN - escritura alterna:
3-211-82796-X, 978-3-211-82796-3
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: kurt gödel, kurt goedel, gesellschaft ulk, institut für gesellschaft, kurt godel
Título del libro: kurt gödel, collegium logicum
Datos del la editorial
Autor: Kenneth A. Loparo
Título: Collegium Logicum; Collegium Logicum
Editorial: Springer; Springer Wien
140 Páginas
Año de publicación: 1996-04-30
Vienna
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VII, 140 p. 3 illus.
BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Resolution; Turing machine; complexity; complexity theory; logic; mathematical logic; proof; 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
Resolution Games and Non-liftable Resolution Orderings.- A Tableau Calculus for Partial Functions.- MUltlog: an Expert System for Multiple-valued Logics.- A Fundamental Problem of Mathematical Logic.- On the Lengths of Proofs of Consistency.- The Craig Interpolation Theorem for Schematic Systems.- The Role of Monotonicity in Descriptive Complexity Theory.- Numbers Defined by Turing Machines.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9783709193945 Collegium Logicum (Kurt-Gödel-Gesellschaft)
< para archivar...