Learning Boolean specifications

Autor: Bubeck, U., Kleine Büning, H.

Publikováno v: In Artificial Intelligence December 2015 229:246-257

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A proof system for finite trees

Autor: Blackburn, P., Meyer Viol, W., de Rijke, M., Kleine Büning, H.

Publikováno v: Computer science logic: 9th International Workshop, CSL '95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers, 86-105
STARTPAGE=86;ENDPAGE=105;TITLE=Computer science logic: 9th International Workshop, CSL '95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::84cb038c3c42edf321f4e1bcb96e255c
https://dare.uva.nl/personal/pure/en/publications/a-proof-system-for-finite-trees(efe67d9b-d276-4990-b61b-7cb83a790a65).html

On the restricted equivalence for subclasses of propositional logic

Autor: Flögel, A., Kleine Büning, H., Lettmann, T., Flögel, A., Kleine Büning, H., Lettmann, T.

Publikováno v: RAIRO - Theoretical Informatics and Applications; January 1993, Vol. 27 Issue: 4 p327-340, 14p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.