Showing 1 - 8 results of 8 for search 'Meyer-Viol, Wilfried', query time: 0.04s
Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
-
1
A proof system for finite trees by Blackburn, Patrick 1959-, Meyer-Viol, Wilfried, Rijke, Maarten de
Published 1995Call Number: Loading…
Located: Loading… -
2
Instantial logic an investigation into reasoning with instances = Instantiële logica by Meyer Viol, Wilfried Peter Marie
Published 1995Call Number: Loading…
Located: Loading… -
3
Linguistics, logic, and finite trees by Blackburn, Patrick 1959-, Meyer-Viol, Wilfried
Published 1994Call Number: Loading…
Located: Loading… -
4
Dynamic syntax the flow of language understanding by Kempson, Ruth M. 1944-, Meyer-Viol, Wilfried, Gabbay, Dov M. 1945-
Published 2001Call Number: Loading…
Located: Loading… -
5
A proof system for finite trees by Blackburn, Patrick 1959-, Meyer-Viol, Wilfried, Rijke, Maarten de
Published 1995Call Number: Loading…
Located: Loading… -
6
Linguistics, logic, and finite trees by Blackburn, Patrick 1959-, Meyer-Viol, Wilfried
Published 1993Call Number: Loading…
Located: Loading… -
7
Dynamic syntax the flow of language understanding by Kempson, Ruth M. 1944-, Meyer-Viol, Wilfried, Gabbay, Dov M. 1945-
Published 2000Call Number: Loading…
Located: Loading… -
8
Talking about trees by Blackburn, Patrick 1959-, Gardent, Claire, Meyer-Viol, Wilfried
Published 1993Call Number: Loading…
Located: Loading…