Тема, жанр, tags: Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages Compil » Page 1121 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages Compil » Page 1121

book Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

pdf

Author: Davide Ancona Giovanni Lagorio Elena Zucca (auth.) Stefano Berardi Ferruccio Damiani Ugo de’Liguoro (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape

pdf

Author: Raymond Bisdorff Marc Roubens (auth.) Rudolf Berghammer Bernhard Möller Georg Struth (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Generic Programming: Advanced Lectures

Generic Programming: Advanced Lectures

pdf

Author: Ralf Hinze Johan Jeuring (auth.) Roland Backhouse Jeremy Gibbons (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Neural-symbolic cognitive reasoning

Neural-symbolic cognitive reasoning

pdf

Author: Dr. Artur S. d’Avila Garcez Dr. Luís C. Lamb Prof. Dov M. Gabbay (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings

Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings

pdf

Author: Mike Dean (auth.) Grigoris Antoniou Harold Boley (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

pdf

Author: Wolfgang Thomas (auth.) Luca de Alfaro (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Modular Programming Languages: Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003. Proceedings

Modular Programming Languages: Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003. Proceedings

pdf

Author: Niklaus Wirth (auth.) László Böszörményi Peter Schojer (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book A Concise Introduction to Software Engineering

A Concise Introduction to Software Engineering

pdf

Author: Pankaj Jalote (auth.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I

pdf

Author: Maurice Bruynooghe Luís Moniz Pereira Jörg H. Siekmann Maarten van Emden (auth.) Antonis C. Kakas Fariba Sadri (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II

pdf

Author: Paolo Baldan Paolo Mancarella Alessandra Raffaetà Franco Turini (auth.) Antonis C. Kakas Fariba Sadri (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0