Тема, жанр, tags: Computation by Abstract Devices,Mathematical Logic and Formal Languages,Artificial Intelligence (inc » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computation by Abstract Devices,Mathematical Logic and Formal Languages,Artificial Intelligence (inc » Page 3

book Automata Implementation: Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers

Automata Implementation: Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers

pdf

Author: Jürgen Albert Dora Giammaressi Derick Wood (auth.) Jean-Marc Champarnaud Djelloul Ziadi Denis Maurel (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Automata Implementation: 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers

Automata Implementation: 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers

pdf

Author: Jérôme Amilhastre Philippe Janssen Marie-Catherine Vilarem (auth.) Oliver Boldt Helmut Jürgensen (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

pdf

Author: David Lorge Parnas (auth.) Gérard Berry Hubert Comon Alain Finkel (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

pdf

Author: José Mira Mira (auth.) Roberto Moreno Díaz Franz Pichler Alexis Quesada Arencibia (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

pdf

Author: Maarten Marx (auth.) Luke Ong (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Dynamische nicht-normalisierte Relationen und symbolische Bildbeschreibung

Dynamische nicht-normalisierte Relationen und symbolische Bildbeschreibung

djvu

Author: Dr. Wolfgang Benn (auth.)
Language: German
Year: 1986

00

27.01.2024

0

0

book Constraint Solving and Language Processing: 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Constraint Solving and Language Processing: 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

pdf

Author: Leonor Becerra-Bonache Veronica Dahl (auth.) Denys Duchier Yannick Parmentier (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Visual and Spatial Analysis: Advances in Data Mining, Reasoning, and Problem Solving

Visual and Spatial Analysis: Advances in Data Mining, Reasoning, and Problem Solving

pdf

Author: Boris Kovalerchuk (auth.) Boris Kovalerchuk James Schwing (eds.)
Language: English
Year: 2004

00

27.01.2024

1

0

book Modeling and Simulation in Engineering, Economics, and Management: International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings

Modeling and Simulation in Engineering, Economics, and Management: International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings

pdf

00

27.01.2024

0

0

book Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

pdf

Author: Lawrence E. Blume David A. Easley Joseph Y. Halpern (auth.) Kamal Lodaya (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0