Limit search to available items
102 results found. Sorted by relevance | date | title .
Result Page   
Add Marked to Bag Add All On Page Add Marked to My Lists
Keywords (1-50 of 102)
Very relevant 

Very relevant titles

 entries 1-11
1
E-book
2021

Handbook of satisfiability



Second edition


Rating:

 
Other relevant 

Other relevant titles

 entries 12-102
12
E-book
2023

Logic, language, information, and computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings


Workshop on Logic, Language, Information and Computation (29th : 2023 : Halifax, N.S.)

Cham : Springer, 2023

Rating:

 
13
14
E-book
2021

Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings


International Conference on Automated Deduction (28th : 2021 : Online)

Cham, Switzerland : Springer, [2021]

Rating:

 
16
E-book
2020

Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings


Diagrams (Conference) (11th : 2020 : Tallinn, Estonia)

Cham, Switzerland : Springer, [2020]

Rating:

 
19
E-book
2018

Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings


International Symposium of Formal Methods Europe (22nd : 2018 : Oxford, England)

Cham, Switzerland : Springer, 2018

Rating:

 
20
E-book
2017

Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings


FroCoS (Symposium) (11th : 2017 : Brasília, Brazil)

Cham, Switzerland : Springer, 2017

Rating:

 
21
E-book
2017

Logic programming and nonmonotonic reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings


LPNMR (Conference) (14th : 2017 : Espoo, Finland)

Cham, Switzerland : Springer, 2017

Rating:

 
22
E-book
2017

Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings


ITP (Conference) (8th : 2017 : Brasília, Brazil)

Cham, Switzerland : Springer, 2017

Rating:

 
24
31
E-book
2014

Mathematical software -- ICMS 2014 : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings


International Congress of Mathematical Software (4th : 2014 : Seoul, Korea)

Heidelberg : Springer, 2014

Rating:

 
32
E-book
2013

Distributed computing and artificial intelligence : 10th International Conference


International Symposium on Distributed Computing and Artificial Intelligence (10th : 2013 : Salamanca, Spain)



Rating:

 
35
E-book
2012

Uncertainty modeling in knowledge engineering and decision making : proceedings of the 10th International FLINS Conference, Istanbul, Turkey, 26-29 August 2012


International FLINS Conference (10th : 2012 : Istanbul, Turkey)

Singapore ; Hackensack, N.J. : World Scientific Pub. Co., [2012]

Rating:

 
 
36
E-book
2012

Quantitative logic and soft computing : proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012


International Conference on Quantitative Logic and Soft Computing (3rd : 2012 : Xi'an, China)



Rating:

 
39
E-book
2012

CONCUR 2012-- Concurrency theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings


International Conference on Concurrency Theory (23rd : 2012 : Newcastle upon Tyne, England)



Rating:

 
49
E-book
2009

Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : proceedings


International Conference on Typed Lambda Calculi and Applications (9th : 2009 : Brasilla, Brazil)



Rating:

 
Add Marked to Bag Add All On Page
Locate in results
Result Page