Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Artificial Intelligence (inc » Page 5 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Artificial Intelligence (inc » Page 5

book Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

pdf

Author: David A. Basin (auth.) Laurent Fribourg Franco Turini (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0

book Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, October 13–17, 1986 Selected Contributions

Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, October 13–17, 1986 Selected Contributions

pdf

Author: Juraj Hromkovič (auth.) Alica Kelemenová Jozef Kelemen (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0

book Dynamische nicht-normalisierte Relationen und symbolische Bildbeschreibung

Dynamische nicht-normalisierte Relationen und symbolische Bildbeschreibung

pdf

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

00

27.01.2024

0

0

book Von Datenbanken zu Expertensystemen

Von Datenbanken zu Expertensystemen

pdf

Author: Hans-Jürgen Appelrath (auth.)
Language: German
Year: 1985

00

27.01.2024

0

0

book Advances in Non-Linear Modeling for Speech Processing

Advances in Non-Linear Modeling for Speech Processing

pdf

Author: Raghunath S. Holambe Mangesh S. Deshpande (auth.)
Language: English
Year: 2012

00

27.01.2024

3

0

book Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

pdf

Author: Nikolaj Bjørner (auth.) Bernhard Gramlich Dale Miller Uli Sattler (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer

Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer

pdf

Author: Robert Epstein (auth.) Robert Epstein Gary Roberts Grace Beber (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

pdf

Author: Robin Milner (auth.) Aart Middeldorp Vincent van Oostrom Femke van Raamsdonk Roel de Vrijer (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Philosophical Dimensions of Logic and Science: Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999

Philosophical Dimensions of Logic and Science: Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999

pdf

Author: Hiroakira Ono Masaki Ueda (auth.) Artur Rojszczak Jacek Cachro Gabriel Kurczewski (eds.)
Language: English
Year: 2003

00

27.01.2024

1

0

book Foundations of Genetic Programming

Foundations of Genetic Programming

pdf

Author: William B. Langdon Riccardo Poli (auth.)
Language: English
Year: 2002

00

27.01.2024

0

0