Deutsch
Deutschland
Anmelden
Tipp von eurobuch.de
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783211827963 ankaufen:
Suchtools
Buchtipps
Aktuelles
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 70,69 €, größter Preis: 106,34 €, Mittelwert: 79,84 €
2: Collegium Logicum: v. 2 - Kurt-Gödel-Gesellschaft
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Kurt-Gödel-Gesellschaft:
2: Collegium Logicum: v. 2 - Taschenbuch

2013, ISBN: 321182796X

Paperback, [EAN: 9783211827963], Springer, Springer, Book, [PU: Springer], 2013-10-04, Springer, Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajicpek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines., 269656, Architecture & Microprocessors, 269265, Computer Science, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14288281, Amazon, 14288271, Online Shopping, 14288081, Digital Lifestyle, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269709, Algorithms, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269955, Interface Design, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14166501, Introduction to Programming, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 922390, Engineering Physics, 278115, Engineering & Technology, 57, Science & Nature, 1025612, Subjects, 266239, Books, 278366, Mathematical Logic, 278363, Mathematical Foundations, 278320, Mathematics, 57, Science & Nature, 1025612, Subjects, 266239, Books, 278419, Mathematical, 278409, Physics, 57, Science & Nature, 1025612, Subjects, 266239, Books, 570964, Mathematical Theory, 564352, Mathematics, 564334, Scientific, Technical & Medical, 1025612, Subjects, 266239, Books

gebrauchtes bzw. antiquarisches Buch Amazon.co.uk
ShineWood
Gebraucht. Versandkosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 1-2 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
2: Collegium Logicum: v. 2 - Kurt-Gödel-Gesellschaft
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Kurt-Gödel-Gesellschaft:
2: Collegium Logicum: v. 2 - Taschenbuch

2013, ISBN: 321182796X

Paperback, [EAN: 9783211827963], Springer, Springer, Book, [PU: Springer], 2013-10-04, Springer, Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajicpek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines., 269656, Architecture & Microprocessors, 269265, Computer Science, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14288281, Amazon, 14288271, Online Shopping, 14288081, Digital Lifestyle, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269709, Algorithms, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269955, Interface Design, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14166501, Introduction to Programming, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 922390, Engineering Physics, 278115, Engineering & Technology, 57, Science & Nature, 1025612, Subjects, 266239, Books, 278366, Mathematical Logic, 278363, Mathematical Foundations, 278320, Mathematics, 57, Science & Nature, 1025612, Subjects, 266239, Books, 278419, Mathematical, 278409, Physics, 57, Science & Nature, 1025612, Subjects, 266239, Books, 570964, Mathematical Theory, 564352, Mathematics, 564334, Scientific, Technical & Medical, 1025612, Subjects, 266239, Books

Neues Buch Amazon.co.uk
BOOKS etc
Neuware. Versandkosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 6-10 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
2: Collegium Logicum - Kurt-Gödel-Gesellschaft
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Kurt-Gödel-Gesellschaft:
2: Collegium Logicum - Taschenbuch

2013, ISBN: 321182796X

[SR: 9853844], Paperback, [EAN: 9783211827963], Springer, Springer, Book, [PU: Springer], 2013-10-04, Springer, Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines., 280292, Machine Theory, 3887, AI & Machine Learning, 3508, Computer Science, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3870, Algorithms, 132570011, Data Structures, 3880, Genetic, 3882, Memory Management, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 107189011, Logic, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 13950, Logic, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 14567, Mathematical Physics, 14545, Physics, 75, Science & Math, 1000, Subjects, 283155, Books, 468204, Computer Science, 491298, Algorithms, 491300, Artificial Intelligence, 491306, Database Storage & Design, 491308, Graphics & Visualization, 491302, Networking, 491310, Object-Oriented Software Design, 491312, Operating Systems, 491314, Programming Languages, 491316, Software Design & Engineering, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books

Neues Buch Amazon.com
allnewbooks
Neuware. Versandkosten:Usually ships in 4-5 business days., zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Collegium Logicum - Kurt-Gödel-Gesellschaft
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Kurt-Gödel-Gesellschaft:
Collegium Logicum - Taschenbuch

2013, ISBN: 321182796X

[SR: 9547112], Paperback, [EAN: 9783211827963], Springer, Springer, Book, [PU: Springer], 2013-10-04, Springer, Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajicek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines., 280292, Machine Theory, 3887, AI & Machine Learning, 3508, Computer Science, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3870, Algorithms, 132570011, Data Structures, 3880, Genetic, 3882, Memory Management, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 107189011, Logic, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 13950, Logic, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 14567, Mathematical Physics, 14545, Physics, 75, Science & Math, 1000, Subjects, 283155, Books, 468204, Computer Science, 491298, Algorithms, 491300, Artificial Intelligence, 491306, Database Storage & Design, 491308, Graphics & Visualization, 491302, Networking, 491310, Object-Oriented Software Design, 491312, Operating Systems, 491314, Programming Languages, 491316, Software Design & Engineering, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books

gebrauchtes bzw. antiquarisches Buch Amazon.com
Herb Tandree Philosophy Bks
Gebraucht. Versandkosten:Usually ships in 1-2 business days., zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Collegium Logicum - Kurt-Gödel-Gesellschaft
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Kurt-Gödel-Gesellschaft:
Collegium Logicum - Taschenbuch

2013, ISBN: 321182796X

[SR: 9547112], Paperback, [EAN: 9783211827963], Springer, Springer, Book, [PU: Springer], 2013-10-04, Springer, Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajicek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines., 280292, Machine Theory, 3887, AI & Machine Learning, 3508, Computer Science, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3870, Algorithms, 132570011, Data Structures, 3880, Genetic, 3882, Memory Management, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 107189011, Logic, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 13950, Logic, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 14567, Mathematical Physics, 14545, Physics, 75, Science & Math, 1000, Subjects, 283155, Books, 468204, Computer Science, 491298, Algorithms, 491300, Artificial Intelligence, 491306, Database Storage & Design, 491308, Graphics & Visualization, 491302, Networking, 491310, Object-Oriented Software Design, 491312, Operating Systems, 491314, Programming Languages, 491316, Software Design & Engineering, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books

Neues Buch Amazon.com
allnewbooks
Neuware. Versandkosten:Usually ships in 4-5 business days., zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Collegium Logicum: v. 2

Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajic ek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines.

Detailangaben zum Buch - Collegium Logicum: v. 2


EAN (ISBN-13): 9783211827963
ISBN (ISBN-10): 321182796X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2013
Herausgeber: Springer

Buch in der Datenbank seit 18.11.2007 17:04:43
Buch zuletzt gefunden am 03.12.2017 20:13:26
ISBN/EAN: 9783211827963

ISBN - alternative Schreibweisen:
3-211-82796-X, 978-3-211-82796-3


< zum Archiv...
Benachbarte Bücher