|
Very relevant titles entries 1-11 |
2021
Second edition
Rating:
|
2011
SAT 2011 (2011 : Ann Arbor, Mich.)
Rating:
|
|
|
|
2009
SAT 2009 (2009 : Swansea, Wales)
Rating:
|
2008
SAT 2008 (2008 : Guangzhou, China)
Rating:
|
2007
SAT 2007 (2007 : Lisbon, Portugal)
Rating:
|
2006
SAT 2006 (2006 : Seattle, Wash.)
Rating:
|
2005
SAT 2005 (2005 : St. Andrews, Scotland)
Rating:
|
2005
SAT 2004 (2004 : Vancouver, B.C.)
Rating:
|
Other relevant titles entries 12-102 |
2023
Workshop on Logic, Language, Information and Computation (29th : 2023 : Halifax, N.S.)
Cham : Springer, 2023
Rating:
|
2023
LOPSTR (Symposium) (33rd : 2023 : Cascais, Portugal)
Cham, Switzerland : Springer, 2023
Rating:
|
2021
International Conference on Automated Deduction (28th : 2021 : Online)
Cham, Switzerland : Springer, [2021]
Rating:
|
2021
ICTAC (Colloquium) (18th : 2021 : Online)
Cham : Springer, [2021]
Rating:
|
2020
Diagrams (Conference) (11th : 2020 : Tallinn, Estonia)
Cham, Switzerland : Springer, [2020]
Rating:
|
2019
TABLEAUX (Conference) (28th : 2019 : London, England)
Cham : Springer, [2019]
Rating:
|
2018
FOSSACS (Conference) (21st : 2018 : Thessalonikē, Greece)
Cham, Switzerland : Springer, 2018
Rating:
|
2018
International Symposium of Formal Methods Europe (22nd : 2018 : Oxford, England)
Cham, Switzerland : Springer, 2018
Rating:
|
2017
FroCoS (Symposium) (11th : 2017 : Brasília, Brazil)
Cham, Switzerland : Springer, 2017
Rating:
|
2017
LPNMR (Conference) (14th : 2017 : Espoo, Finland)
Cham, Switzerland : Springer, 2017
Rating:
|
2017
ITP (Conference) (8th : 2017 : Brasília, Brazil)
Cham, Switzerland : Springer, 2017
Rating:
|
2016
FOSSACS (Conference) (19th : 2016 : Eindhoven, Netherlands)
Berlin : Springer, 2016
Rating:
|
2016
International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets (14th : 2015 : Cracow, Poland)
Cham : Springer, [2016]
Rating:
|
2016
International Andrei Ershov Memorial Conference (10th : 2015 : Kazanʹ and Innopolis, Russia)
Switzerland : Springer, 2016
Rating:
|
2015
TABLEAUX (Conference) (24th : 2015 : Wrocław, Poland)
Cham : Springer, 2015
Rating:
|
2015
European Symposium on Programming (24th : 2015 : London, England)
Berlin : Springer, 2015
Rating:
|
2014
International FLINS Conference (11th : 2014 : Joao Pessoa, Brazil)
Rating:
|
2014
IJCAR (Conference) (7th : 2014 : Vienna, Austria)
Cham : Springer, 2014
Rating:
|
2014
JELIA (Conference) (14th : 2014 : Funchal, Madeira Islands)
Cham : Springer, 2014
Rating:
|
2014
International Congress of Mathematical Software (4th : 2014 : Seoul, Korea)
Heidelberg : Springer, 2014
Rating:
|
2013
International Symposium on Distributed Computing and Artificial Intelligence (10th : 2013 : Salamanca, Spain)
Rating:
|
2013
LPNMR (Conference) (12th : 2013 : La Coruña, Spain)
Heidelberg : Springer, 2013
Rating:
|
2013
TABLEAUX (Conference) (22nd : 2013 : Nancy, France)
Heidelberg : Springer, 2013
Rating:
|
2012
International FLINS Conference (10th : 2012 : Istanbul, Turkey)
Singapore ; Hackensack, N.J. : World Scientific Pub. Co., [2012]
Rating:
|
2012
International Conference on Quantitative Logic and Soft Computing (3rd : 2012 : Xi'an, China)
Rating:
|
2012
International FLINS Conference (10th : 2012 : Istanbul, Turkey)
Rating:
|
2012
IJCAR (Conference) (6th : 2012 : Manchester, England)
Rating:
|
2012
International Conference on Concurrency Theory (23rd : 2012 : Newcastle upon Tyne, England)
Rating:
|
2012
Brazilian Symposium on Formal Methods (15th : 2012 : Natal, Brazil)
Rating:
|
2011
Associazione italiana per l'intelligenza artificiale. Congress (12th : 2011 : Palermo, Italy)
Rating:
|
2011
CPP (Conference) (1st : 2011 : Kenting, Taiwan)
Rating:
|
2010
IJCAR (Conference) (5th : 2010 : Edinburgh, Scotland)
Rating:
|
2010
LPAR (Conference) (17th : 2010 : Yogyakarta, Indonesia)
Rating:
|
2010
LATA (Conference) (4th : 2010 : Trier, Germany)
Rating:
|
2010
European Symposium on Programming (19th : 2010 : Paphos, Cyprus)
Rating:
|
2009
TABLEAUX 2009 (2009 : Oslo, Norway)
Rating:
|
2009
LFCS (Symposium) (2009 : Deerfield Beach, Fla.)
Rating:
|
2009
International Conference on Typed Lambda Calculi and Applications (9th : 2009 : Brasilla, Brazil)
Rating:
|
2008
IJCAR (Conference) (4th : 2008 : Sydney, N.S.W.)
Rating:
|
Add Marked to Bag
Add All On Page
|
|