.se - PDFSEARCH.IO - Document Search Engine

.se
Results: 232183

#	Item
11	The Open-Source LearnLib a ct se * Consist eu Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Machine learning Theoretical computer science Artificial intelligence Learning Mathematics Computational learning theory Finite-state machine Algorithm Finite automata Active learning Cellular automaton Solomonoff's theory of inductive inference
12	TISKOVÁ ZPRÁVA, Konference pod taktovkou principála Kongresové centrum Praha není žádný cirkus. Vedení má pevně v rukou generální ředitel Roman Ray Straub, který se ale občas do artistických Add to Reading List Source URL: www.praguecc.cz Language: Czech - Date: 2017-03-16 08:20:56
13	Introduction Translation Caveats Conclusions SMT Solvers: New Oracles for the Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2009-11-14 10:24:00 Theoretical computer science Mathematical logic Logic Logic in computer science Formal methods Automated theorem proving Model theory NP-complete problems Satisfiability modulo theories Proof assistant First-order logic Solver
14	Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 New Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-20 11:35:02
15	Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:35:24 Mathematical logic Type theory Computability theory Lambda calculus Theoretical computer science Model theory Higher-order logic Constructible universe Mathematics
16	Introduction System Description Evaluation Conclusions, Future Work Efficiently Checking Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-11-16 07:15:36 Proof assistants Logic in computer science Theoretical computer science Mathematical logic Isabelle HOL Logic for Computable Functions
17	C/C++ Concurrency: Formalization and Model Finding Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2013-09-25 05:49:39 Computing Computer programming Concurrent computing Concurrency control Parallel computing Thread Linearizability C++11 POSIX Threads Lock Concurrency Go
18	Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:26 Proof assistants Theoretical computer science Logic in computer science Mathematical logic Isabelle Logic for Computable Functions Mathematics Resolution Constructible universe Theorem prover LCF Formal methods
19	raSAT: SMT for Polynomial Inequality To Van Khanh (UET/VNU-HN) Vu Xuan Tung, Mizuhito Ogawa (JAIST Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-19 03:22:32 Algebra Polynomial RASAT Inequality NP-complete problems
20	Introduction Thereand Back Again Conclusions Integration of SMT Solvers with ITPs — Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2010-03-02 09:46:28 Theoretical computer science Logic in computer science Logic Formal methods Mathematics Automated theorem proving Metalogic Proof assistants Satisfiability modulo theories Solver Z3 Satisfiability