sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000042871622 | 1 hits
Person
ISNI: 
0000 0000 4287 1622
Name: 
De Paiva, Valeria
Paiva, Valeria de
Valeria de Paiva (Brazilian mathematician, logician, and computer scientist)
Creation class: 
Computer file
Language material
Text
Creation role: 
editor
Related names: 
ACQUILEX Workshop (Cambridge, GB) (1991)
Briscoe, E. J.
Briscoe, E. J. (1959-....))
Copestake, Ann
Haeusler, Edward Hermann
Pereira, Luiz Carlos
University of Cambridge. Computer laboratory
Titles: 
Advances in Natural Deduction A Celebration of Dag Prawitz's Work
Inheritance, defaults, and the lexicon
Notes: 
Sources: 
BOWKER