1. Combinators, [lambda]-Terms and Proof Theory

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Logic.,Philosophy (General)

2. Combinators, -terms and proof theory

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Proof theory,Combinatory logic

Classification :
QA9
.
S753

3. Combinators, -terms and proof theory

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Proof theory,Combinatory logic

Classification :
QA9
.
S753

4. Combinators, -terms and proof theory

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Proof theory,Combinatory logic

Classification :
QA9
.
S753

5. Leveraging applications of formal methods, verification and validation :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.

Classification :
QA76
.
9
.
F67

6. Logics of Programs :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.

7. Proofs and types

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic

Classification :
QA
9
.
54
.
G572
1989