Automated Reasoning with Analytic Tableaux and Related Methods
Der Band aus TABLEAUX 2009 liefert aktuelle Forschungsergebnisse zu analytischen Tafeln, logischen Verfahren und ihrer Anwendung in Künstlicher Int ...
Dieses Produkt wurde kürzlich in keinem gesponserten Geschäft gefunden, bitte prüfen Sie ähnliche Produkte unserer Sponsoren oder sehen Sie sich andere von uns angebotene Geschäfte an, in denen Sie das Produkt finden können.
eBay
Back Market DE
AsGoodAsNew DE
Alternate DE
Beauty Welt (DE)
babymarkt.de
DeubaXXL DE
Allgemein
Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3642027156
MPN
Springer Berlin Heidelberg biography
