1
Szerző: Socher-Ambrosius, Rolf
Megjelenés: 1997
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1997
könyv
2
Szerző: Pirotte, Alain
Megjelenés: 1973
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1973
könyv
3
Megjelenés: 1983
Kapcsolódó cím: 1957-1966
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Kapcsolódó cím: 1957-1966
könyv
4
Szerző: Leitsch, Alexander (1952-)
Megjelenés: 1997
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1997
könyv
5
Szerző: Loveland, Donald W.
Megjelenés: 1978
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1978
könyv
6
Szerző: Cohen, Donald N.
Megjelenés: 1981
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1981
könyv
7
Szerző: Wos, Larry
Megjelenés: 1988
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1988
könyv
8
Szerző: Sandford, David M.
Megjelenés: 1980
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1980
könyv
9
Szerző: Zwiers, Job (1956-)
Megjelenés: 1989
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1989
könyv
10
Szerző: Snyers, Dominique (1959-)
Megjelenés: 1987
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1987
könyv
11
Megjelenés: 2017
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Ugrás a forráshoz
könyv