DMCA

Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving (2001)

Cached

Download Links

by M. Baaz , A. Ciabattoni , C. G. Fermüller
Venue:IN LOGIC FOR PROGRAMMING AND AUTOMATED REASONING LPAR’2001, 201–216. LNAI 2250
Citations:16 - 11 self