.se - PDFSEARCH.IO - Document Search Engine

.se
Results: 232183

#	Item
41	Towards Mechanized Program Verification with Separation Logic Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:35:48 Mathematical logic Logic in computer science Theoretical computer science Substructural logic Logic Separation logic Constructible universe Ordinal number Computability theory Proof theory
42	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 us Add to Reading List Source URL: www.praguecc.cz Language: Czech - Date: 2017-03-30 09:18:41
43	Introduction Finite Model Generation Extensions and Optimizations Case Studies Integration of Proof-Producing SAT Solvers Conclusion Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2008-10-09 08:41:17 Mathematical logic Logic Boolean algebra Mathematics Classical logic Propositional calculus Model theory
44	This is to certify that the management system of: Stiftelsen för Internetinfrastruktur Main site: Hammarby Kaj 10D, SEStockholm, Sweden Add to Reading List Source URL: www.iis.se Language: English ISO/IEC 27001 Intertek
45	TISKOVÁ ZPRÁVA Praha přivítala rekordní počet odborníků z oblasti kongresového průmyslu 23. listopadu 2017, Praha – celkemexpertů z oboru kongresového průmyslu ze 79 zemí světa se sešlo od 12. d Add to Reading List Source URL: www.pragueconvention.cz Language: Czech - Date: 2018-04-26 13:08:21
46	Sibling Influence on College Choice Preliminary and incomplete — please do not cite or circulate Adam Altmejd∗ September 21, 2018 Add to Reading List Source URL: adamaltmejd.se Language: English - Date: 2018-10-17 07:13:06 University and college admissions SAT College application Sibling Education Human behavior Anthropology
47	Towards Conflict-Driven Learning for Virtual Substitution SMT Workshop ˇ Marek Kosta (joint work K. Korovin and T. Sturm) Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-18 18:47:15 Mathematical analysis Logic Theoretical computer science Automated theorem proving Logic programming Conflict-driven clause learning E Calculus Substitution Exponential function
48	A Generic Process Calculus Approach to Relaxed-Memory Consistency Palle Raabjerg Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-05-22 10:50:40 Process calculi Theoretical computer science Process calculus Mathematics -calculus Calculus Lambda calculus Computer science Actor model and process calculi history Join-calculus
49	TISKOVÁ ZPRÁVA, 9. dubna Kongresové centrum Praha získalo ocenění Czech Business Superbrands 2018 Kongresové centrum Praha se od března 2018 pyšní uznávaným oceněním Czech Business Superbrands 2018, které Add to Reading List Source URL: www.praguecc.cz Language: Czech - Date: 2018-04-09 06:52:15
50	Integrating zChaff with Isabelle/HOL A Fast Decision Procedure for Propositional Logic Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:04 Proof assistants Logic in computer science Theoretical computer science HOL Logic programming Isabelle Constructible universe

UPDATE