Sé - PDFSEARCH.IO - Document Search Engine

Sé
Results: 232183

#	Item
61	Publicado en Septiembre deEste documento usa la versión 6.0 de NetLogo. Traducción por Haroldo Miranda. GUIA DE PROGRAMACION DE NETLOGO AGENTES El mundo de NetLogo está compuesto de agentes. Los agentes son se Add to Reading List Source URL: ccl.northwestern.edu Language: Spanish - Date: 2018-09-19 16:30:07
62	Using a SAT Solver as a Fast Decision Procedure for Propositional Logic in an LCF-style Theorem Prover Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:36 Theoretical computer science NP-complete problems Formal methods Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Isabelle Constructible universe LCF Mathematics (SAT -UNSAT)
63	Bounded Model Generation for Isabelle/HOL and Related Applications of SAT Solvers in Interactive Theorem Proving Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:16 Computability theory Lambda calculus Theoretical computer science Model theory Higher-order logic Constructible universe Metaphilosophy Mathematics
64	Do I have enough? On the act of assessing one’s personal resources Do I have enough? On the act of assessing one’s personal resources Gró Einarsdóttir Add to Reading List Source URL: gupea.ub.gu.se Language: English - Date: 2018-05-25 21:33:54 Ecology Resource
65	Validating QBF Validity in HOL4 Ramana Kumar and Tjark Weber ITPBerg en Dal) August 25, 2011 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2011-09-01 13:37:03 Mathematical logic Constructible universe Model theory Mathematics Predicate logic Generalizations of the derivative Smooth functions Logic operator Original proof of Gdel's completeness theorem
66	Se urity Estimates for Quadrati Field Based Cryptosystems Jean-Fran ois Biasse1 , Mi hael J. Ja obson, Jr.2 ? , and Alan K. Silvester3 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 14:57:05 Mathematics Logarithms Mathematical analysis Discrete mathematics Binary logarithm 108 Factorial Prime number Common logarithm P
67	A SAT-based Sudoku Solver Tjark Weber LPAR’05, December 3rd, 2005 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-11-29 11:04:14 Logic puzzles Sudoku Recreational mathematics Abstract strategy games NP-complete problems Mathematics Logic
68	TISKOVÁ ZPRÁVA, Konference INSPO měla v Kongresovém centru Praha velký úspěch Již 17. ročník konference o informačních a komunikačních technologiích pro osoby se specifickými potřebami se u Add to Reading List Source URL: www.praguecc.cz Language: Czech - Date: 2017-03-30 09:16:35
69	Do I have enough? On the act of assessing one’s personal resources Gró Einarsdóttir Psykologiska institutionen, Göteborgs universitet, 2018 Add to Reading List Source URL: gupea.ub.gu.se Language: English - Date: 2018-05-25 21:33:54 Resource economics Ecology Resource
70	11th International Satisfiability Modulo Theories Competition SMT-COMPSylvain Conchon Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2016-07-02 05:15:08 Computing Theoretical computer science Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Benchmark Standard Performance Evaluation Corporation K computer