• Home
  • Translating between Language and Logic: What Is Easy and What is Difficult?

Translating between Language and Logic: What Is Easy and What is Difficult?

Sourcetitle: 
N. Bj√łrner and V. Sofronie-Stokkermans (eds.), CADE-23. Automated Deduction, LNCS/LNAI 6803
Year of publication: 
2011
PublicationType: 
Scientific journal article - non peer reviewed

http://www.springerlink.com/content/42n685777k846810/
http://www.springerlink.com/content/42n685777k846810/

Sourcepages: 
5-25
To the top

Page updated: 2012-01-30 14:01

Send as email
Print page
Show as pdf

X
Loading