Book serie: / Книги серии: Lecture Notes in Computer Science 1630 : Lecture Notes in Artificial Intelligence » Page 1918 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 1630 : Lecture Notes in Artificial Intelligence » Page 1918

book Agent-Oriented Programming: From Prolog to Guarded Definite Clauses

Agent-Oriented Programming: From Prolog to Guarded Definite Clauses

pdf

Author: Matthew M. Huntbach Graem A. Ringwood (auth.)
Language: English
Year: 1999

00

26.01.2024

0

0

book CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

pdf

Author: Joseph Y. Halpern (auth.) Franck van Breugel Marsha Chechik (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Intelligent Data Engineering and Automated Learning – IDEAL 2004: 5th International Conference, Exeter, UK. August 25-27, 2004. Proceedings

Intelligent Data Engineering and Automated Learning – IDEAL 2004: 5th International Conference, Exeter, UK. August 25-27, 2004. Proceedings

pdf

Author: Carla S. Möller-Levet Hujun Yin (auth.) Zheng Rong Yang Hujun Yin Richard M. Everson (eds.)
Language: English
Year: 2004

00

26.01.2024

4

0

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 Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

pdf

Author: Rajeev Alur (auth.) Farn Wang (eds.)
Language: English
Year: 2004

00

26.01.2024

0

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 Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information

Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information

pdf

Author: Giovanni Sommaruga (auth.) Giovanni Sommaruga (eds.)
Language: English
Year: 2009

00

26.01.2024

1

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