E-LIB Suche - Ergebnisse für: Wallen, Lincoln - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

On the intuitionistic force of classical search:

Ritter, Eike ; Pym, David ; Wallen, Lincoln
Theoretical Computer Science. 232 (2000) 1-2 - p. 299-333 , 2000

Link: https://doi.org/10.1016/..

2

Automated proof search in non-classical logics

efficient matrix proof methods for modal and intuitionistic... MIT Press series in artificial intelligence

Wallen, Lincoln , 1990

Exemplar: Zentrale:E02 a mat 026.5 y/581

1-2