Bertram - PDFSEARCH.IO - Document Search Engine

Bertram
Results: 448

#	Item
1	The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:36:18 Logic Mathematics Mathematical logic Metalogic Model theory Syntax Well-formed formula First-order logic Resolution Logic programming Tautology
2	The use of theorem-proving techniques in question-answering systems by C. CORDELL GREEN and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:40:45 Logic Metalogic Mathematics Proof theory Model theory Mathematical logic Syntax First-order logic Well-formed formula Formal system Logic programming Resolution
3	Beyond DRAT: Challenges in Certifying UNSAT1 Bertram Felgenhauer University of Innsbruck ARCADE Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:34 Computational complexity theory Conflict-driven clause learning Drat Exponential time hypothesis Felgenhauer NP-complete problems
4	This space is reserved for the EPiC Series header, do not use it Beyond DRAT: Challenges in Certifying UNSAT∗ Bertram Felgenhauer University of Innsbruck Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:11:10 Drat Conjunctive normal form Constraint programming Theoretical computer science NP-complete problems Logic in computer science
5	Island Studies Journal, Vol. 2, No. 2, 2007, ppReappraising the Legacy of Colonialism: A Response to Feyrer and Sacerdote Geoff Bertram Faculty of Economics and Business Add to Reading List Source URL: www.islandstudies.ca Language: English - Date: 2009-12-17 14:08:02
6	Learning Behavioral Norms in Uncertain and Changing Contexts Vasanth Sarathy and Matthias Scheutz Bertram F. Malle Add to Reading List Source URL: hrilab.tufts.edu Language: English - Date: 2017-10-04 10:50:29
7	MEETING MINUTES 15th May:00pm @ “The Lair”, Casuarina Wellard Community Hall Attendance: Lady Imagina Bertram, The Honorable Lady Ydenya de Baillencourt, Lady Rosamond de Montfort, Mistress Liduina de Kasteel Add to Reading List Source URL: dragonsbay.lochac.sca.org Language: English - Date: 2016-05-18 10:45:19
8	MEETING MINUTES 18th October:00pm @ The Dragon’s Lair, Casuarina Wellard Community Hall Attendance: Lady Imagina Bertram, Milord Rachae of Dragonsbay, Mistress Liduina de Kasteelen van Valkenburg, Milady Avalon Add to Reading List Source URL: dragonsbay.lochac.sca.org Language: English - Date: 2016-01-15 02:27:55
9	Members present:Gary Filice Richard Mason Jay Harland Bob Swet Bill Bertram Charles Babcock Add to Reading List Source URL: www.tosoaring.com Language: English - Date: 2014-06-15 21:33:44
10	MEETING MINUTES 12th December:00pm @ Lady Rosamond de Montfort’s Residence Attendance: Lady Imagina Bertram, Milord Rachae of Dragonsbay, Mistress Liduina de Kasteelen van Valkenburg, Milady Avalon of the Isle, Add to Reading List Source URL: dragonsbay.lochac.sca.org Language: English - Date: 2016-01-15 02:28:06