Sé - PDFSEARCH.IO - Document Search Engine

Sé
Results: 232183

#	Item
31	XING SE Informationen für Aktionäre zum Datenschutz Seit dem 25. Mai 2018 gelten die Verordnung (EUdes Europäischen Parlaments und des Rates vom 27. April 2016 zum Schutz natürlicher Personen bei der Verar Add to Reading List Source URL: corporate.xing.com Language: German - Date: 2018-07-20 04:19:49
32	Partial Cumulative Incremental Backups Offer Unique Advantages to Customers Teradactyl LLCBaylor Drive SE Albuquerque, NM 87106 Add to Reading List Source URL: www.teradactyl.com Language: English Backup software System software Computing Backup Utility software Data synchronization Incremental computing Incremental backup Differential backup Extensible Storage Engine Remote backup service Backup Exec
33	SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber Summer School Marktoberdorf, August 9, 2005 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:34 Mathematical logic Computability theory Type theory Theoretical computer science Metalogic Model theory Lambda calculus Constructible universe Mathematics
34	Isabelle/HOL Integrated Theorem Proving Tjark Weber Cooperation of Deduction Tools Day Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-04-11 08:01:06 Mathematical logic Theoretical computer science Proof assistants Mathematics Logic in computer science Formal methods Type theory Automated theorem proving Isabelle Lambda calculus Higher-order logic HOL
35	Kurser som ges flera gånger Kurs Omtenta Matematik Add to Reading List Source URL: www.teknat.uu.se Language: Swedish - Date: 2018-10-19 07:37:58
36	Resource Monitoring for Poly/ML Processes David Matthews Tjark Weber Magnus Stenqvist Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-09-07 07:51:22 Computing Software engineering Computer programming Functional languages Procedural programming languages Standard ML ML Garbage collection Poly JFreeChart
37	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2010-07-08 14:32:41 Logic Mathematical logic Mathematics Boolean algebra Complexity classes Metalogic Model theory True quantified Boolean formula Satisfiability FO PSPACE-complete Well-formed formula
38	Introduction Applications SMT Solver Use Algorithms Conclusion Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2012-01-21 06:40:38 Theoretical computer science Logic in computer science Formal methods Mathematics Electronic design automation NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Solver Formal verification Model checking SMT
39	Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2016-07-01 09:29:03 Computer programming Declarative programming Theoretical computer science Logic in computer science Cryptography Satellite broadcasting Scrambler Telecommunications equipment Satisfiability modulo theories Scrambling Monad Benchmark
40	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2010-06-01 10:39:41 Logic Mathematical logic Mathematics Boolean algebra Complexity classes Metalogic Model theory True quantified Boolean formula Satisfiability FO PSPACE-complete Well-formed formula