Megjelenítés: 1 - 1 / 1 - kulcsszavak: '"logika"', keresési idő: 0.06mp 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:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése