Willy Ophelders Automated theorem proving based upon a tableau-method with unification under restrictions
theory, implementation and empirical results
Gedrukt boek
theory, implementation and empirical results
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek