Megjelenítés: 1 - 1 / 1 - kulcsszavak: 'THOPOL's 1999', keresési idő: 0.00mp Találatok szűrése
1
Theorem proving in higher order logics : 12th International Conference, TPHOLs'99 Nice, France, September 1999 : proceedings
Megjelenés: 1999
“...THOPOL's (1999)...”
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben —