E-LIB Suche - Ergebnisse für: kyb 480 - Sprache EN

Sorted by: Year

Sorted by: Year

1

The computer modelling of mathematical reasoning:

Bundy, Alan , 1983

Copies: Zentrale:Magazin 03.d.9234

2

Automated theorem proving:

Bibel, Wolfgang , 1982

Copies: Zentrale:Magazin 03.f.3301

3

Automated theorem proving

a logical basis Fundamental studies in computer science ; 6

Loveland, Donald W. , 1978

Copies: Zentrale:Magazin 01.T.3022

4

Symbolic logic and mechanical theorem proving

Computer science classics

Chang, Chin-Liang , 1973

Copies: Zentrale:Magazin 01.T.3023

1-4