Willkommen. Schön, sind Sie da!
Mein Ex Libris
Jetzt anmelden
DE
FR
Kontakt
Hilfe
Service
Über Ex Libris
Firmenkundschaft
Filialen
0
0
Erweiterte Suche
Bücher
E-Books
Filme
Musik
Games
Papeterie
Geschenke & Fun
Spiele
Club-Welt
Geschenkefinder
Inspirations-Welt
Disney
Gutscheine schenken
Home
Bücher
English Books
IT & Informatik
Anwendungs-Software
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
(0)
Erste Bewertung abgeben
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related...
Weiterlesen
Tiefpreis
CHF
79.20
Print on Demand - Exemplar wird für Sie besorgt.
Kostenlose Lieferung
Kartonierter Einband
E-Book (pdf)
CHF
77.90
Kartonierter Einband
CHF
79.20
In den Warenkorb
Merken
Wird oft zusammen gekauft
Andere Kunden kauften auch
Mehr anzeigen
Mehr entdecken:
IT & Informatik
Allgemein & Lexika
,
Anwendungs-Software
,
Informatik
,
Programmiersprachen