Тема, жанр, tags: Programming Techniques,Programming Languages Compilers Interpreters,Artificial Intelligence (incl. R » Page 755 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Techniques,Programming Languages Compilers Interpreters,Artificial Intelligence (incl. R » Page 755

book Principles and Practice of Constraint Programming — CP98: 4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings

Principles and Practice of Constraint Programming — CP98: 4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings

pdf

Author: Joxan Jaffar Roland H. C. Yap (auth.) Michael Maher Jean-Francois Puget (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

djvu

Author: Yohji Akama (auth.) Marc Bezem Jan Friso Groote (eds.)
Language: English
Year: 1993

00

26.01.2024

1

0

book CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

pdf

Author: Moshe Y. Vardi (auth.) Davide Sangiorgi Robert de Simone (eds.)
Language: English
Year: 1998

00

26.01.2024

2

0

book Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures

Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures

pdf

Author: Atze Dijkstra S. Doaitse Swierstra (auth.) Varmo Vene Tarmo Uustalu (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

pdf

Author: Joshua B. Tenenbaum (auth.) Filip Železný Nada Lavrač (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

pdf

Author: Natarajan Shankar (auth.) Alberto Pettorossi (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

pdf

Author: François Fages (auth.) Patricia M. Hill (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

pdf

Author: Dawson Engler (auth.) Martín Abadi Luca de Alfaro (eds.)
Language: English
Year: 2005

00

26.01.2024

2

0

book Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings

Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings

djvu

Author: J. A. Bergstra (auth.) J. Grabowski P. Lescanne W. Wechler (eds.)
Language: English
Year: 1988

00

26.01.2024

1

0

book Distributed Algorithms: 8th International Workshop, WDAG '1994 Terschelling, The Netherlands, September 29 – October 1, 1994 Proceedings

Distributed Algorithms: 8th International Workshop, WDAG '1994 Terschelling, The Netherlands, September 29 – October 1, 1994 Proceedings

djvu

Author: Özalp Babaoğlu Alberto Bartoli Gianluca Dini (auth.) Gerard Tel Paul Vitányi (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0