|
Computer logic.
|
2008
Nguyen, Ngoc Thanh (Computer scientist)
London : Springer, [2008]
Rating:
Request It
|
2008
Nguyen, Ngoc Thanh (Computer scientist)
Rating:
|
2016
ALGOCLOUD (Workshop) (1st : 2015 : Patrai, Greece)
Cham : Springer, 2016
Rating:
|
2007
Clavel, Manuel, 1969-
Rating:
|
2017
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (38th : 2017 : Zaragoza, Spain)
Cham, Switzerland : Springer, [2017]
Rating:
|
2017
Ayala-Rincón, M. (Mauricio), author.
Cham, Switzerland : Springer, 2017
Rating:
|
2012
ArgMAS 2011 (2011 : Taipei, Taiwan)
Rating:
|
2007
ArgMAS 2006 (2006 : Hakodate-shi, Japan)
Rating:
|
2022
AILA (Conference) (2nd : 2022 : Shanghai, China)
Singapore : Springer, [2022]
Rating:
|
2019
European Summer School in Logic, Language, and Information (30th : 2018 : Sofia, Bulgaria)
Berlin : Springer, [2019]
Rating:
|
2010
IJCAR (Conference) (5th : 2010 : Edinburgh, Scotland)
Rating:
|
2012
IJCAR (Conference) (6th : 2012 : Manchester, England)
Rating:
|
2014
IJCAR (Conference) (7th : 2014 : Vienna, Austria)
Cham : Springer, 2014
Rating:
|
2016
IJCAR (Conference) (8th : 2016 : Coimbra, Portugal)
Switzerland : Springer, 2016
Rating:
|
2018
IJCAR (Conference) (9th : 2018 : Oxford, England)
Cham, Switzerland : Springer, 2018
Rating:
|
2020
IJCAR (Conference) (10th : 2020 : Online)
Rating:
|
2020
IJCAR (Conference) (10th : 2020 : Online)
Rating:
|
2022
IJCAR (Conference) (11th : 2022 : Haifa, Israel)
Cham, Switzerland : Springer, 2022
Rating:
|
|
2008
IJCAR (Conference) (4th : 2008 : Sydney, N.S.W.)
Rating:
|
2006
IJCAR (Conference) (3rd : 2006 : Seattle, Wash.)
Rating:
|
2013
Ribeiro, Márcio Moretto, author
London : Springer, [2013]
Rating:
|
1986
Franchi-Zannettacci, P. (Paul)
Rating:
|
2007
Bradley, Aaron R
Rating:
|
2020
International Conference on Case-Based Reasoning (28th : 2020 : Online)
Cham : Springer, 2020
Rating:
|
2006
Gopalakrishnan, Ganesh
Rating:
|
|
2012
International Workshop on Theoretical Computer Science (2012 : Auckland, N.Z.)
Rating:
|
2005
CLIMA (Workshop) (4th : 2004 : Fort Lauderdale, Fla.)
Rating:
|
2005
CLIMA (Workshop) (5th : 2004 : Lisbon, Portugal)
Rating:
|
2006
CLIMA (Workshop) (6th : 2005 : London, England)
Rating:
|
2007
CLIMA (Workshop) (7th : 2006 : Hakodate-shi, Japan)
Rating:
|
2008
CLIMA (Workshop) (8th : 2007 : Porto, Portugal)
Rating:
|
2010
CLIMA (Workshop) (11th : 2010 : Lisbon, Portugal)
Berlin : Springer, 2010
Rating:
|
2011
CLIMA (Workshop) (12th : 2011 : Barcelona, Spain)
Rating:
|
|
2020
Klement, Milan, 1974- author
First edition
Olomouc : Palacký University Olomouc, 2020
Rating:
|
2022
Chor, Benny, author.
Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2022
Rating:
|
2019
CAV (Conference) (31st : 2019 : New York, N.Y.)
Cham, Switzerland : SpringerOpen, [2019]
Rating:
|
2017
CASC (Workshop : 2001- ) (19th : 2017 : Beijing, China)
Cham : Springer International Publishing, 2017
Rating:
|
2018
International Workshop on Computer Algebra in Scientific Computing (20th : 2018 : Lille, France)
Cham, Switzerland : Springer, 2018
Rating:
|
2019
International Workshop on Computer Algebra in Scientific Computing (21st : 2019 : Moscow, Russia)
Cham, Switzerland : Springer, 2019
Rating:
|
2020
International Workshop on Computer Algebra in Scientific Computing (22nd : 2020 : Online)
Rating:
|
2021
International Workshop on Computer Algebra in Scientific Computing (23rd : 2021 : Sochi, Russia ; Online)
Cham, Switzerland : Springer, 2021
Rating:
|
2017
EPEW (Workshop) (14th : 2017 : Berlin, Germany)
Cham : Springer International Publishing, 2017
Rating:
|
2018
EPEW (Workshop) (15th : 2018 : Paris, France)
Cham, Switzerland : Springer, 2018
Rating:
|
2020
EPEW (Workshop) (16th : 2019 : Milan, Italy)
Rating:
|
2023
EPEW (Workshop) (19th : 2023 : Florence, Italy)
Cham : Springer, [2023]
Rating:
|
2017
SAFECOMP (Conference) (36th : 2017 : Trento, Italy)
Cham : Springer International Publishing, 2017
Rating:
|
2018
SAFECOMP (Conference) (37th : 2018 : Västerås, Sweden)
Cham, Switzerland : Springer, 2018
Rating:
|
Add Marked to Bag
Add All On Page
|
|