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

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

book ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

djvu

Author: Thomas Reps Susan Horwitz (auth.) H. Ganzinger (eds.)
Language: English
Year: 1988

00

26.01.2024

0

0

book Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

pdf

Author: Matthias Baaz (auth.) Uwe Egly Chritian G. Fermüller (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming – CP 2000: 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings

Principles and Practice of Constraint Programming – CP 2000: 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings

pdf

Author: Alan K. Mackworth (auth.) Rina Dechter (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

pdf

Author: Joachim van den Berg Marieke Huisman Bart Jacobs Erik Poll (auth.) Didier Bert Christine Choppy Peter D. Mosses (eds.)
Language: English
Year: 2000

00

26.01.2024

2

0

book Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

djvu

Author: David A. Basin (auth.) Laurent Fribourg Franco Turini (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

pdf

Author: V. Michele Abrusci (auth.) Marta Cialdea Mayer Fiora Pirri (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

pdf

Author: Roy Crole (auth.) Roland Backhouse Roy Crole Jeremy Gibbons (eds.)
Language: English
Year: 2002

00

26.01.2024

5

0

book Compiler Construction: 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Compiler Construction: 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

pdf

Author: Neil Johnson Alan Mycroft (auth.) Görel Hedin (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

pdf

Author: Robert Giegerich Peter Steffen (auth.) Eerke A. Boiten Bernhard Möller (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Advanced Functional Programming: Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures

Advanced Functional Programming: Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures

pdf

Author: Lex Augusteijn (auth.) S. Doaitse Swierstra José N. Oliveira Pedro R. Henriques (eds.)
Language: English
Year: 1999

00

26.01.2024

2

0