Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Computation by Abst » Page 1257 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Computation by Abst » Page 1257

book Artificial Intelligence and Soft Computing - ICAISC 2004: 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings

Artificial Intelligence and Soft Computing - ICAISC 2004: 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings

djvu

Author: Danilo Ardagna Chiara Francalanci Vincenzo Piuri Fabio Scotti (auth.) Leszek Rutkowski Jörg H. Siekmann Ryszard Tadeusiewicz Lotfi A. Zadeh (eds.)
Language: English
Year: 2004

00

26.01.2024

2

0

book Compiler Construction: 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings

Compiler Construction: 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings

djvu

Author: Peter Ørbæk (auth.) Peter A. Fritzson (eds.)
Language: English
Year: 1994

00

26.01.2024

2

0

book Algorithmic Learning Theory: 13th International Conference, ALT 2002 Lübeck, Germany, November 24–26, 2002 Proceedings

Algorithmic Learning Theory: 13th International Conference, ALT 2002 Lübeck, Germany, November 24–26, 2002 Proceedings

pdf

Author: Nicolò Cesa-Bianchi Masayuki Numao Rüdiger Reischuk (eds.)
Language: English
Year: 2002

00

26.01.2024

3

0

book Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

pdf

Author: Thomas Kropf (auth.) Yves Bertot Gilles Dowek Laurent Théry André Hirschowitz Christine Paulin (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Integer Optimization by Local Search: A Domain-Independent Approach

Integer Optimization by Local Search: A Domain-Independent Approach

pdf

Author: Fred Glover (auth.) Joachim Paul Walser (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

pdf

Author: Petr Hájek (auth.) Georg Gottlob Etienne Grandjean Katrin Seyr (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers

Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers

djvu

Author: Jürgen Dix Luís Moniz Pereira (auth.) Jürgen Dix Luís Moniz Pereira Teodor C. Przymusinski (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Advances in Exception Handling Techniques

Advances in Exception Handling Techniques

pdf

Author: J∅rgen Lindskov Knudsen (auth.) Alexander Romanovsky Christophe Dony Jørgen Lindskov Knudsen Anand Tripathi (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Practical Aspects of Knowledge Management: 6th International Conference, PAKM 2006, Vienna, Austria, November 30 - December1, 2006. Proceedings

Practical Aspects of Knowledge Management: 6th International Conference, PAKM 2006, Vienna, Austria, November 30 - December1, 2006. Proceedings

pdf

Author: Amin Anjomshoaa Tho Manh Nguyen (auth.) Ulrich Reimer Dimitris Karagiannis (eds.)
Language: English
Year: 2006

00

26.01.2024

1

0

book Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

pdf

Author: Byron Cook (auth.) Werner Damm Holger Hermanns (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0