Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Software Engineering,Mathematical Logic and Formal Language » Page 1263 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Software Engineering,Mathematical Logic and Formal Language » Page 1263

book The Seventeen Provers of the World: Foreword by Dana S. Scott

The Seventeen Provers of the World: Foreword by Dana S. Scott

pdf

Author: Freek Wiedijk (auth.) Freek Wiedijk (eds.)
Language: English
Year: 2006

00

26.01.2024

1

0

book Genetic Programming: 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings

Genetic Programming: 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings

pdf

Author: Robert Curry Malcolm I. Heywood (auth.) Leonardo Vanneschi Steven Gustafson Alberto Moraglio Ivanoe De Falco Marc Ebner (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Bildanalyse: Von der Bildverarbeitung zur räumlichen Interpretation von Bildern

Bildanalyse: Von der Bildverarbeitung zur räumlichen Interpretation von Bildern

pdf

Author: Johannes Steinmüller (auth.)
Language: German
Year: 2008

00

26.01.2024

0

0

book Journal on Data Semantics XII

Journal on Data Semantics XII

pdf

Author: Giuseppe Pirrò Massimo Ruffolo Domenico Talia (auth.) Stefano Spaccapietra (eds.)
Language: English
Year: 2009

00

26.01.2024

2

0

book Constraint Handling Rules: Current Research Topics

Constraint Handling Rules: Current Research Topics

pdf

Author: Thom Frühwirth (auth.) Tom Schrijvers Thom Frühwirth (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Creating Brain-Like Intelligence: From Basic Principles to Complex Intelligent Systems

Creating Brain-Like Intelligence: From Basic Principles to Complex Intelligent Systems

pdf

Author: Bernhard Sendhoff Edgar Körner Olaf Sporns (auth.) Bernhard Sendhoff Edgar Körner Olaf Sporns Helge Ritter Kenji Doya (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book One jump ahead: computer perfection at checkers

One jump ahead: computer perfection at checkers

pdf

Author: Jonathan Schaeffer (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Dynamic learning networks: models and cases in action

Dynamic learning networks: models and cases in action

pdf

Author: Aldo Romano Giustina Secundo (auth.) Aldo Romano Giustina Secundo (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Advances in Natural Language Processing: 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings

Advances in Natural Language Processing: 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings

pdf

Author: Johan Bos (auth.) Bengt Nordström Aarne Ranta (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Toward Category-Level Object Recognition

Toward Category-Level Object Recognition

pdf

Author: Joseph L. Mundy (auth.) Jean Ponce Martial Hebert Cordelia Schmid Andrew Zisserman (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0