Book serie: / Книги серии: Foundations of Computing » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Foundations of Computing » Page 3

book From logic to logic programming

From logic to logic programming

djvu

Author: Doets K.
Language: English
Year: 1994

00

27.01.2024

0

0

book Proof, Language, and Interaction: Essays in Honour of Robin Milner

Proof, Language, and Interaction: Essays in Honour of Robin Milner

pdf

Author: Plotkin G. Stirling C.P. Tofte M. (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists

pdf

Author: Benjamin C. Pierce
Language: English
Year: 1991

00

27.01.2024

0

0

book From Logic to Logic Programming

From Logic to Logic Programming

pdf

Author: Kees Doets
Language: English
Year: 1994

00

27.01.2024

0

0

book Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists

pdf

Author: Benjamin C. Pierce
Language: English
Year: 1991

00

27.01.2024

0

0

book Algebraic semantics of imperative programs

Algebraic semantics of imperative programs

djvu

Author: Joseph Goguen, Grant Malcolm
Language: English
Year: 1996

00

27.01.2024

0

0

book The Formal Semantics of Programming Languages: An Introduction

The Formal Semantics of Programming Languages: An Introduction

pdf

Author: Glynn Winskel
Language: English
Year: 1993

00

27.01.2024

0

0

book From Logic to Logic Programming

From Logic to Logic Programming

pdf

Author: Kees Doets
Language: English
Year: 1994

00

27.01.2024

0

0

book Logic and Information Flow

Logic and Information Flow

pdf

Author: Jan van van Eijck Albert Visser
Language: English
Year: 1994

00

27.01.2024

0

0

book Algebraic Semantics of Imperative Programs

Algebraic Semantics of Imperative Programs

pdf

Author: Joseph A. Goguen Grant Malcolm
Language: English
Year: 1996

00

27.01.2024

5

0