Keresési eredmények - "matematikai logika"

1

Symbolic logic and mechanical theorem proving

Szerző: Chang, Chin-Liang
Megjelenés: 1973

Tárgyszavak: “...matematikai logika...”

könyv

2

The computational complexity of logical theories

Szerző: Ferrante, Jeanne
Megjelenés: 1979

Tárgyszavak: “...matematikai logika...”

könyv

3

Design methods for digital systems

Szerző: Chinal, Jean
Megjelenés: 1973

Tárgyszavak: “...matematikai logika...”

könyv

4

Discrete mathematical structures with applications to computer science

Szerző: Tremblay, Jean-Paul
Megjelenés: 1975

Tárgyszavak: “...matematikai logika...”

könyv

5

Fuzzy logic in knowledge-based systems, decision and control

Megjelenés: 1988

Tárgyszavak: “...matematikai logika...”

könyv

6

First-order dynamic logic

Szerző: Harel, David (1950-)
Megjelenés: 1979

Tárgyszavak: “...matematikai logika...”

könyv

7

Automated proof search in non-classical logics :Efficient matrix proof methods for modal and intuitionistic logics

Szerző: Wallen, Lincoln A.
Megjelenés: 1990

Tárgyszavak: “...matematikai logika...”

könyv

8

Logic and computer science : Lecturtes given at the 1st Session Centro Internazionale Matematico Estivo <C.I.M.E.>held at Montecatini Terme, Italy, June 20-28, 1988

Megjelenés: 1990

Tárgyszavak: “...matematikai logika -- konferencia...”

könyv

9

Mathematical logic in computer science

Megjelenés: 1981

Tárgyszavak: “...matematikai logika -- konferencia...”

könyv

10

Logic : A foundation for computer science

Szerző: Sperschneider, Volker (1952-)
Megjelenés: 1991

Tárgyszavak: “...matematikai logika...”

könyv

11

CSL 89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings

Megjelenés: 1990

Tárgyszavak: “...matematikai logika -- konferencia...”

könyv

Keresés szűkítése