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

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

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

book Hybrid Neural Systems

Hybrid Neural Systems

pdf

Author: Stefan Wermter Ron Sun (auth.) Stefan Wermter Ron Sun (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

pdf

Author: Olivier Danvy Jacob Johannsen (auth.) Wilfrid Hodges Ruy de Queiroz (eds.)
Language: English
Year: 2008

00

26.01.2024

2

0

book Compiler Construction: 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Compiler Construction: 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

pdf

Author: Mary Lou Soffa (auth.) Evelyn Duesterwald (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

pdf

Author: Jean-Raymond Abrial (auth.) Michael Butler Cliff B. Jones Alexander Romanovsky Elena Troubitsyna (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Mobile Agents and Security

Mobile Agents and Security

pdf

Author: David M. Chess (auth.) Giovanni Vigna (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings

Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings

pdf

Author: Robert Nieuwenhuis José Miguel Rivero (auth.) Paliath Narendran Michael Rusinowitch (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0