Megjelenítés: 1 - 3 / 3 - kulcsszavak: '"logika"', keresési idő: 0.02mp Találatok szűrése
1
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : Proceedings
Megjelenés: 1984
Tárgyszavak: “...automatikus tételbizonyítás (matematikai logika)...”
könyv
Mentés a listára
Mentés helye:
2
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
Megjelenés: 1994
Tárgyszavak: “...automatikus tételbizonyítás (matematikai logika)...”
könyv
Mentés a listára
Mentés helye:
3
Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
Megjelenés: 1998
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