Perspectives of systems informaticsAndrei Voronkov

Perspectives of systems informatics

Andrei Voronkov, Irina Virbitskaite · 2007

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2007
Language: English
Publisher: Springer
Editions: 3
Pages: 496
ISBN: 9783540708803

Data source: Wikidata

More by Andrei Voronkov

Programming LogicsAndrei Voronkov

Programming Logics

Andrei Voronkov · 2013

Logic for programming, artificial intelligence, and reasoningAndrei Voronkov

Logic for programming, artificial intelligence, and reasoning

Andrei Voronkov · 2006

Automated Deduction - CADE-18Andrei Voronkov

Automated Deduction - CADE-18

Andrei Voronkov · 2002

Handbook of Automated ReasoningAndrei Voronkov

Handbook of Automated Reasoning

Andrei Voronkov · 2001

Automated ReasoningAndrei Voronkov

Automated Reasoning

Andrei Voronkov · 2001

Handbook of Automated ReasoningAndrei Voronkov

Handbook of Automated Reasoning

Andrei Voronkov · 2001

Logic Programming and Automated ReasoningAndrei Voronkov

Logic Programming and Automated Reasoning

Andrei Voronkov · 1993

Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 ProceedingsAndrei Voronkov

Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings

Andrei Voronkov · 2012

Rewriting Techniques and ApplicationsAndrei Voronkov

Rewriting Techniques and Applications

Andrei Voronkov · 2009