Search Results for Foundations.

Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Yazar

de Moura, Leonardo. editor.

https://doi.org/10.1007/978-3-319-63046-5

Format:

Electronic Resources

Alıntı:

Automated deduction -- Including foundations -- Applications.-Implementations -- Practical

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Yazar

Phillips, Iain. editor.

https://doi.org/10.1007/978-3-319-59936-6

Format:

Electronic Resources

Alıntı:

papers are organized in the following topical sections: foundations; reversible circuit synthesis

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Yazar

Majumdar, Rupak. editor.

https://doi.org/10.1007/978-3-319-63387-9

Format:

Electronic Resources

Alıntı:

of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

Yazar

An, Bo. editor. (orcid)0000-0002-7064-7438

https://doi.org/10.1007/978-3-319-69131-2

Format:

Electronic Resources

Alıntı:

research in several domains, ranging from foundations of agent theory and engineering aspects of agent

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Yazar

Höfner, Peter. editor.

https://doi.org/10.1007/978-3-319-57418-9

Format:

Electronic Resources

Alıntı:

submissions. Topics covered range from mathematical foundations to applications as conceptual and

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Yazar

Ghosh, Sujata. editor.

https://doi.org/10.1007/978-3-662-54069-5

Format:

Electronic Resources

Alıntı:

interest include mathematical and philosophical logic, computer science logic, foundations and philosophy

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Yazar

Dixon, Clare. editor.

https://doi.org/10.1007/978-3-319-66167-4

Format:

Electronic Resources

Alıntı:

MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report -- The Boolean Solution Problem from

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Yazar

Balduccini, Marcello. editor.

https://doi.org/10.1007/978-3-319-61660-5

Format:

Electronic Resources

Alıntı:

Weighted Sceptical Semantics with a Unique-status Grounded Semantics -- Foundations For A Probabilistic

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Yazar

Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905

https://doi.org/10.1007/978-3-319-66107-0

Format:

Electronic Resources

Alıntı:

submissions. The topics range from theoretical foundations to implementation aspects and applications in

	{displayName}	{count}
{error}