Тема, жанр, tags: Programming languages (Electronic computers),Functional programming languages.,Logic programming lan » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming languages (Electronic computers),Functional programming languages.,Logic programming lan » Page 3

book History of programming languages, vol.4: Functional and logic programming languages

History of programming languages, vol.4: Functional and logic programming languages

djvu

Author: Salus Peter H (ed.)
Language: English
Year: 1998

00

30.01.2024

0

0

book The Reasoned Schemer

The Reasoned Schemer

mobi

Author: Daniel P. Friedman William E. Byrd Oleg Kiselyov Jason Hemann
Language: English
Year: 2018

00

30.01.2024

0

0

book Logic programming : proceedings of the eleventh International Conference on Logic Programming

Logic programming : proceedings of the eleventh International Conference on Logic Programming

djvu

Author: Pascal Van Hentenryck (eds.)
Language: English
Year: 1994

00

29.01.2024

0

0

book Logic programming: proceedings of the 1997 international symposium

Logic programming: proceedings of the 1997 international symposium

djvu

Author: Małuszyński Jan (eds.)
Language: English
Year: 1997

00

29.01.2024

0

0

book Discrete structures, logic and computability

Discrete structures, logic and computability

pdf

Author: Hein James L
Language: English
Year: 2017

00

29.01.2024

0

0

book Prolog Versus You: An Introduction to Logic Programming

Prolog Versus You: An Introduction to Logic Programming

djvu

Author: Anna-Lena Johansson Agneta Eriksson-Granskog Anneli Edman
Language: English
Year: 1989

00

29.01.2024

0

0

book Logic Programming: Operational Semantics and Proof Theory

Logic Programming: Operational Semantics and Proof Theory

djvu

Author: James H. Andrews
Language: English
Year: 1992

00

29.01.2024

0

0

book The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications

pdf

Author: David J. Pym
Language: English
Year: 2002

00

27.01.2024

0

0

book Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

pdf

Author: Jimmie D. Lawson (auth.) Klaus Keimel Guo-Qiang Zhang Ying-Ming Liu Yi-Xang Chen (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0