Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Artificial Intelligence (inc » Page 338 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Artificial Intelligence (inc » Page 338

book Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

pdf

Author: Parosh Aziz Abdulla Ahmed Bouajjani Julien d’Orso (auth.) Matthias Baaz Johann A. Makowsky (eds.)
Language: English
Year: 2003

00

26.01.2024

4

0

book Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows

Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows

pdf

Author: Radu Prodan Thomas Fahringer (auth.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Implementation of Functional Languages: 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16–18, 1996 Selected Papers

Implementation of Functional Languages: 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16–18, 1996 Selected Papers

djvu

Author: Lee Braine Chris Clack (auth.) Werner Kluge (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems

Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems

djvu

Author: Madhu Sudan (eds.)
Language: English
Year: 1995

00

26.01.2024

1

0

book Combinatorics on Traces

Combinatorics on Traces

djvu

Author: Volker Diekert (auth.)
Language: English
Year: 1990

00

26.01.2024

0

0