International Joint Conference on Automated Reasoning - PDFSEARCH.IO - Document Search Engine

International Joint Conference on Automated Reasoning
Results: 8

#	Item
1	Jasmin Christian Blanchette AugustPersonal Information Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-08-14 09:31:55 Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Formal methods Proof assistants Isabelle Automated reasoning Interactive Theorem Proving International Joint Conference on Automated Reasoning Association for Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
2	Jasmin Christian Blanchette 1 Personal Information Citizenship: Canadian Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-04-09 12:51:30 Automated theorem proving Isabelle Automated reasoning Proof assistant International Joint Conference on Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Association for Automated Reasoning Logic programming Blanchett Theoretical computer science Mathematics Applied mathematics
3	IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-06-14 23:05:55 Mathematics Logic in computer science Dependently typed programming Lambda calculus Logic programming Twelf Logical framework Higher-order abstract syntax Dependent type Type theory Programming language theory Theoretical computer science
4	The IMPS Bibliography William M. Farmer∗ Joshua D. Guttman† Computing and Software Add to Reading List Source URL: imps.mcmaster.ca Language: English - Date: 2012-03-27 15:38:49 Computer science Logic in computer science Formal methods Artificial intelligence Automated reasoning Conference on Automated Deduction International Joint Conference on Automated Reasoning Theoretical computer science Applied mathematics Automated theorem proving
5	Curriculum vitæ Miki (Nicolas) HERMANN LIX (CNRS, UMR 7161) ´ Ecole Polytechnique Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-01-20 13:14:01 Computer science Logic in computer science Reasoning Artificial intelligence Automated reasoning Max Planck Institute for Computer Science Logic programming International Joint Conference on Automated Reasoning Federated Logic Conference Theoretical computer science Applied mathematics Automated theorem proving
6	Minutes Tableaux Business Meeting Siena, Thursday, 21 June 2001, 13:30–14:00 Present members from the Tableaux Steering Committee (TSC): Roy Dyckhoff, Uwe Egly, Uli Furbach, Didier Galmiche, Rajeev Gor´e, Reiner Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2003-10-08 00:45:56 Theorem Proving in Higher-Order Logics Federated Logic Conference International Joint Conference on Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
7	Minutes Tableaux Business Meeting Copenhagen, DIKU, Wednesday July 31st, 17:30–18:30, Auditorium 3 Present members from the Tableaux Steering Committee (TSC): Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2003-10-08 00:45:58 Federated Logic Conference International Joint Conference on Automated Reasoning Theorem Proving in Higher-Order Logics Automated theorem proving Logic in computer science International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Automated reasoning Theoretical computer science Applied mathematics Computer science
8	PDF Document Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2003-10-08 00:46:01 International Joint Conference on Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Federated Logic Conference