Automatisk bevisføring i predikatkalkyle


Erik Holbæk-Hanssen
Bok Språk ikke angitt 1973

Detaljer

Bibliotek som har denne