Kategorien
Österreich
Deutsch
Konto
Anmelden / Registrieren		Warenkorb
 		 
 >  >  >  >  > Artikel

Automated Reasoning


Menge:  Stück  
Produktinformationen
cover
cover
Artikel-Nr.:
     5667A-9783030510534
Hersteller:
     Springer Verlag
Herst.-Nr.:
     9783030510534
EAN/GTIN:
     9783030510534
Suchbegriffe:
Allgemeine Informatikbücher
Bücher für Datenbanken - englischsp...
Datenbanken (Fachbücher)
Datenbankenbücher
10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
Weitere Informationen:
Author:
Nicolas Peltier; Viorica Sofronie-Stokkermans
Verlag:
Springer International Publishing
Sprache:
eng
Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, artificial intelligence, automata theory, automated reasoning, computer programming, formal languages, formal logic, linguistics, modal logic, model checking, satisfiability, semantics
Die Konditionen im Überblick1
Lieferzeit
Lagerstand
Preis
€ 73,99*
Konditionen selbst auswählen
Artikel empfehlenArtikel merken
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.