Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Programming Techniques,Logics and Meanings of Programs,Math » Page 1529 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Programming Techniques,Logics and Meanings of Programs,Math » Page 1529

book Reasoning with Logic Programming

Reasoning with Logic Programming

djvu

Author: José Júlio Alferes Luís Moniz Pereira (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Concept Lattices: Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings

Concept Lattices: Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings

pdf

Author: Rudolf Wille (auth.) Peter Eklund (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

pdf

Author: Xavier Leroy (auth.) Franz Baader (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers

pdf

Author: Norbert E. Fuchs Uta Schwertel (auth.) Pierre Flener (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

pdf

Author: Mirian Andrés Laureano Lambán Julio Rubio (auth.) Manuel Kauers Manfred Kerber Robert Miner Wolfgang Windsteiger (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16–20, 1990 Proceedings

Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16–20, 1990 Proceedings

djvu

Author: Stefan Näher Kurt Mehlhorn (auth.) Michael S. Paterson (eds.)
Language: English
Year: 1990

00

26.01.2024

0

0

book Artificial Perception and Music Recognition

Artificial Perception and Music Recognition

djvu

Author: Andranick S. Tanguiane (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

pdf

Author: Jean-Raymond Abrial Dominique Cansell (auth.) David Basin Burkhart Wolff (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Probabilistic Inductive Logic Programming: Theory and Applications

Probabilistic Inductive Logic Programming: Theory and Applications

pdf

Author: Luc De Raedt Kristian Kersting (auth.) Luc De Raedt Paolo Frasconi Kristian Kersting Stephen Muggleton (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

pdf

Author: Susumu Hayashi Yohji Akama (auth.) Julian Bradfield (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0