Тема, жанр, tags: Language Translation and Linguistics,Artificial Intelligence (incl. Robotics),Mathematical Logic and » Page 1253 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Language Translation and Linguistics,Artificial Intelligence (incl. Robotics),Mathematical Logic and » Page 1253

book Computable Models

Computable Models

pdf

Author: Raymond Turner (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proce

Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proce

pdf

Author: Ernie Cohen (auth.) Renate A. Schmidt (eds.)
Language: English
Year: 2006

00

26.01.2024

2

0

book Neural Networks: Tricks of the Trade

Neural Networks: Tricks of the Trade

djvu

Author: Genevieve B. Orr Klaus-Robert Müller (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

pdf

Author: Constance L. Heitmeyer (auth.) Klaus Schneider Jens Brandt (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

pdf

Author: Willem-Paul de Roever (auth.) Willem-Paul de Roever Hans Langmaack Amir Pnueli (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

pdf

Author: Andrew Eremin Mark Wallace (auth.) Toby Walsh (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

djvu

Author: Garrett Birkhoff (auth.) Nachum Dershowitz (eds.)
Language: English
Year: 1989

00

26.01.2024

1

0

book Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

pdf

Author: Wayne Wolf (auth.) Alan J. Hu Andrew K. Martin (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Databases, Information Systems, and Peer-to-Peer Computing: First International Workshop, DBISP2P 2003 Berlin, Germany, September 7 - 8, 2003 Revised Papers

Databases, Information Systems, and Peer-to-Peer Computing: First International Workshop, DBISP2P 2003 Berlin, Germany, September 7 - 8, 2003 Revised Papers

pdf

Author: Wolfgang Nejdl (auth.) Karl Aberer Manolis Koubarakis Vana Kalogeraki (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings

Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings

pdf

Author: Henk Barendregt (auth.) Aart Middeldorp (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0