Description
About the Author
Patrick Blackburn is director of research at INRIA, France's national organization for research in computer science. Johan Bos is senior researcher at the School of Informatics at the University of Edinburgh.
Reviews
"An exciting combination of standard Montague techniques, modern approaches to underspecification, and the use of first order theorem provers, all in a book that can be used by advanced undergraduates or graduate students." - Robin Cooper, Gorg University"
Book Information
ISBN 9781575864969
Author Patrick Blackburn
Format Paperback
Page Count 376
Imprint Centre for the Study of Language & Information
Publisher Centre for the Study of Language & Information
Weight(grams) 510g
Dimensions(mm) 23mm * 15mm * 2mm