Megjelenítés: 1 - 6 / 6 - kulcsszavak: '"logika"', keresési idő: 0.04mp Találatok szűrése
1
Automation of reasoning : Classical papers on computational logic
Megjelenés: 1983
Kapcsolódó cím: 1957-1966
Tárgyszavak: “...automatikus tételbizonyítás -- matematikai logika...”
könyv
Mentés a listára
Mentés helye:
2
The resolution calculus
Szerző: Leitsch, Alexander (1952-)
Megjelenés: 1997
Tárgyszavak: “...automatikus tételbizonyítás -- matematikai logika...”
könyv
Mentés a listára
Mentés helye:
3
Automated theorem proving : a logical basis
Szerző: Loveland, Donald W.
Megjelenés: 1978
Tárgyszavak: “...automatikus tételbizonyítás -- matematikai logika...”
könyv
Mentés a listára
Mentés helye:
4
Using sophisticated models in resolution theorem proving
Szerző: Sandford, David M.
Megjelenés: 1980
Tárgyszavak: “...automatikus tételbizonyítás -- matematikai logika...”
könyv
Mentés a listára
Mentés helye:
5
Compositionality, concurrency, and partial correctness : Proof theories for networks of processes and their relationship
Szerző: Zwiers, Job (1956-)
Megjelenés: 1989
Tárgyszavak: “...automatikus tételbizonyítás -- matematikai logika...”
könyv
Mentés a listára
Mentés helye:
6
From logic design to logic programming : Theorem proving techniques and P-functions
Szerző: Snyers, Dominique (1959-)
Megjelenés: 1987
Tárgyszavak: “...automatikus tételbizonyítás -- matematikai logika...”
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése