Wolfgang Schwarz

Home Writing Teaching Coding Blog

Tree Prover in Croatian

Posted on Friday, 25 Jul 2003.

Berislav Zarnic from the University of Split has translated my tableau prover into Croatian.

Comments

No comments yet.

Add a comment

Please leave these fields blank (spam trap):

Name: Email: (not displayed)

No HTML please.
You can edit this comment until 30 minutes after posting.