ISBN: 0470210060
Broché, [EAN: 9780470210062], Book, 301130, Thèmes, 689215031, Actu, Politique et Société, 4237308031, Adolescents, 301144, Art, Musique et Cinéma, 301133, Bandes dessinées, 293136011, Be… Mehr…
amazon.fr tousbouquins Gebraucht Versandkosten:Innerhalb Deutschland, Italien, Luxembourg, Holland und UK. Plus 1.55 EUR pro Produkt sowie lokale Versandkosten.. Expédition sous 1 à 2 jours ouvrés (EUR 4.50) Details... |
ISBN: 0470210060
Tapa blanda, [EAN: 9780470210062], Libro, 599365031, Categorías, 902675031, Acción y aventura, 902486031, Arte, cine y fotografía, 902498031, Biografías, diarios y hechos reales, 90250203… Mehr…
amazon.es TML Bookstore Gebraucht Versandkosten:Amazon-Produkte ab EUR 19 Versandkostenfrei in Spanien, EUR 6 für den Rest der EU.. Normalmente se envía en el plazo de 1-2 días laborable (EUR 6.00) Details... |
ISBN: 0470210060
Paperback, [EAN: 9780470210062], Book, 1025612, Subjects, 349777011, Antiquarian, Rare & Collectable, 91, Art, Architecture & Photography, 67, Biography, 68, Business, Finance & Law, 5078… Mehr…
amazon.co.uk rbmbooks Gebraucht Versandkosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 1-2 business days (EUR 6.75) Details... |
ISBN: 9780470210062
Automated Theorem: Proving in Non Classical Logic Automated-Theorem~~Paul-B-Thistlewaite Science/Tech>Mathematics>Mathematics Paperback, Wiley, John & Sons, Incorporated
BarnesandNoble.com new Versandkosten: EUR 0.00 Details... |
1988, ISBN: 9780470210062
Xlibrary 1988 paperback withdrawn stamp in book/ on edge of pages clean text 154 pages/// M-2., Gebraucht, guter Zustand, [PU: Pitman Publishing]
alibris.com |
Automated theorem-proving in non-classical logics (Research notes in theoretical computer science) - gebrauchtes Buch
ISBN: 0470210060
Broché, [EAN: 9780470210062], Book, 301130, Thèmes, 689215031, Actu, Politique et Société, 4237308031, Adolescents, 301144, Art, Musique et Cinéma, 301133, Bandes dessinées, 293136011, Be… Mehr…
ISBN: 0470210060
Tapa blanda, [EAN: 9780470210062], Libro, 599365031, Categorías, 902675031, Acción y aventura, 902486031, Arte, cine y fotografía, 902498031, Biografías, diarios y hechos reales, 90250203… Mehr…
ISBN: 0470210060
Paperback, [EAN: 9780470210062], Book, 1025612, Subjects, 349777011, Antiquarian, Rare & Collectable, 91, Art, Architecture & Photography, 67, Biography, 68, Business, Finance & Law, 5078… Mehr…
ISBN: 9780470210062
Automated Theorem: Proving in Non Classical Logic Automated-Theorem~~Paul-B-Thistlewaite Science/Tech>Mathematics>Mathematics Paperback, Wiley, John & Sons, Incorporated
1988, ISBN: 9780470210062
Xlibrary 1988 paperback withdrawn stamp in book/ on edge of pages clean text 154 pages/// M-2., Gebraucht, guter Zustand, [PU: Pitman Publishing]
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Automated theorem-proving in non-classical logics (Research notes in theoretical computer science)
EAN (ISBN-13): 9780470210062
ISBN (ISBN-10): 0470210060
Taschenbuch
Erscheinungsjahr: 1988
Herausgeber: Pitman Publishing
Buch in der Datenbank seit 2012-12-17T17:05:51+01:00 (Zurich)
Detailseite zuletzt geändert am 2016-08-11T01:19:29+02:00 (Zurich)
ISBN/EAN: 0470210060
ISBN - alternative Schreibweisen:
0-470-21006-0, 978-0-470-21006-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: non classical logic, logic computer science
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780273087816 Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science) (Thistlewaite, Paul B., Michael A. McRobbie and Robert K. Meyer)
< zum Archiv...