Bath - PDFSEARCH.IO - Document Search Engine

Bath
Results: 4959

#	Item
1	Why Information can be Free ˇ ce?† Ivana Caˇ ? Joanna J. Bryson† Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2005-01-16 17:42:03 Computing Modeling and simulation Multi-agent systems Artificial intelligence Simulation software Complex systems theory Simulation NetLogo Agent-based model Intelligent agent Agent Economics
2	SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo Add to Reading List Source URL: staff.bath.ac.uk Language: English - Date: 2017-08-06 07:51:38 Theoretical computer science Logic Logic in computer science Mathematics Electronic design automation Formal methods NP-complete problems Boolean algebra Boolean satisfiability problem Uninterpreted function Satisfiability Solver
3	PDF Document Add to Reading List Source URL: www.cs.bath.ac.uk - Date: 2013-03-31 13:03:50
4	PDF Document Add to Reading List Source URL: www.cs.bath.ac.uk - Date: 2000-11-01 14:35:10
5	PDF Document Add to Reading List Source URL: www.cs.bath.ac.uk - Date: 2003-02-26 11:03:33
6	PDF Document Add to Reading List Source URL: www.cs.bath.ac.uk - Date: 2011-05-05 13:11:04
7	PDF Document Add to Reading List Source URL: www.cs.bath.ac.uk - Date: 2011-12-17 14:53:12
8	PDF Document Add to Reading List Source URL: www.cs.bath.ac.uk - Date: 2001-04-10 18:12:04
9	PDF Document Add to Reading List Source URL: www.bath.ac.uk - Date: 2018-06-19 05:44:54
10	PDF Document Add to Reading List Source URL: www.cs.bath.ac.uk - Date: 2008-08-31 16:11:46