Skip To Content
Cookies help us deliver our services. By using our services, you agree to our use of cookies.
OK
News
About Us
Contribute
Courses
Dialectica
D
|
E
|
F
|
I
Query
Menu
philosophie.ch
swiss portal for philosophie
Philosophie.ch
Events
Community
Research
Education
Content
login
Language
Deutsch
Englisch
Französisch
Italienisch
Diese Seite auf Deutsch
Cette page en français
Questa pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/vandermeulen
Maarten van der Meulen (vandermeulen)
Contributions to
Philosophie.ch
No contributions yet
Bibliography
Allis
, L. Victor,
Meulen
, Maarten van der and
Herik
, H. Jaap van den. 1994.
“
Proof-Number Search
.”
Artificial Intelligence
66(1): 91–124.
Events
Community
Research
Education
Content
Random article
Search