Megjelenítés: 1 - 2 / 2 - kulcsszavak: '"logika"', keresési idő: 0.02mp Találatok szűrése
1
Automated reasoning : 33 basic research problems
Szerző: Wos, Larry
Megjelenés: 1988
Tárgyszavak: “...automatikus tételbizonyítás -- matematikai logika...”
könyv
Mentés a listára
Mentés helye:
2
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