Pages that link to "Item:Q878016"
From MaRDI portal
The following pages link to Proceedings of the workshop on mathematics, logic and computation (satellite event of ICALP 2003), Valencia, Spain, June 12--14, 2003 (Q878016):
Displaying 3 items.
- Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003 (Q556727) (← links)
- Papers based on talks given at two workshops at the conference on the foundations of computational mathematics, Santander, Spain, June 30--July 9, 2005 (Q2473624) (← links)
- (Q3715041) (← links)