BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
C.E.Brown C.Kaliszyk J.Urban
Talks about:
satallax (1) tableau (1) guidanc (1) search (1) intern (1) proof (1) carlo (1) mont (1)

Person: Michael Färber 0002

DBLP DBLP: 0002:Michael_F=auml=rber

Contributed to:

IJCAR 20162016
CADE 20172017

Wrote 2 papers:

Internal Guidance for Satallax (MF0, CEB), pp. 349–361.
CADE-2017-FarberKU #monte carlo #proving
Monte Carlo Tableau Proof Search (MF0, CK, JU), pp. 563–579.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.