|
Logic, Symbolic and mathematical
|
|
1982
Conference on Automated Deduction (6th : 1982 : New York, N.Y.)
Rating:
|
1984
International Conference on Automated Deduction (7th : 1984 : Napa, Calif.)
Rating:
|
1986
International Conference on Automated Deduction (8th : 1986 : Oxford, England)
Rating:
|
1988
International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)
Rating:
|
1996
Garnier, Rowan.
Chichester ; New York : Wiley, [1996]
Rating:
Request It
|
1983
NATO Conference on the Acquisition of Symbolic Skills (1982 : University of Keele)
New York : Plenum Press, [1983]
Rating:
Request It
|
2005
Poernomo, Iman Hafiz, 1976-
Rating:
|
2020
Farlow, Stanley J., 1937- author
First edition
Hoboken, NJ : Wiley, 2020
Rating:
|
2023
Cham : Springer, 2023
Rating:
|
|
2002
Congress of Logic Applied to Technology (3rd : 2002 : São Paulo, Brazil)
Rating:
|
2005
Congress of Logic Applied to Technology (5th : 2005 : Himegi, Japan)
Rating:
|
2007
North Texas Logic Conference (2004 : University of North Texas)
Rating:
|
2021
Symposium on Advances in Mathematical Logic (2018 : Kobe, Japan)
Singapore : Springer, 2021
Rating:
|
2009
Congress of Logic Applied to Technology (6th : 2007 : Santos, Brazil)
Rating:
|
2010
Mancosu, Paolo.
Rating:
|
2011
Tieszen, Richard L., 1951-2017, author
Rating:
|
|
2022
Cham, Switzerland : Springer, 2022
Rating:
|
2016
Associazione italiana per l'intelligenza artificiale. Congress (15th : 2016 : Genoa, Italy)
Cham : Springer, [2016]
Rating:
|
2022
Cham : Springer, [2022]
Rating:
|
2014
New York : Birkhäuser, [2014]
Rating:
|
2016
Providence, Rhode Island : American Mathematical Society, [2016]
Rating:
|
2014
Llosis Ruiz, Antonio, author
Heidelberg ; New York : Springer, 2014
Rating:
|
2021
Cham, Switzerland : Springer, [2021]
Rating:
|
2016
ALGOCLOUD (Workshop) (1st : 2015 : Patrai, Greece)
Cham : Springer, 2016
Rating:
|
1978
Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978
Rating:
Request It
|
1989
Jantke, K. P. (Klaus P.)
Rating:
|
|
|
1974
Kershner, R. B. (Richard Brandon), 1913-1982.
Second edition
New York : Ronald Press Co., [1974]
Rating:
Request It
|
|
1985
Anno, Mitsumasa, 1926-
London ; Sydney : The Bodley Head, 1985
Rating:
Request It
|
|
2017
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (38th : 2017 : Zaragoza, Spain)
Cham, Switzerland : Springer, [2017]
Rating:
|
2020
International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (4th : 2019 : Tbilisi, Georgia)
Cham : Springer, [2020]
Rating:
|
|
2020
Serovajsky, Simon. Al-Farabi Kazakh National University, Department of Differential Equations and Control Theory, Almaty, Kazakhstan
First edition
[Place of publication not identified] : Chapman and Hall/CRC, 2020
Rating:
|
1986
McDonough, Richard M., 1950-
Rating:
|
2021
Amer, Mohamed, author
Rating:
|
2021
Llosis Ruiz, Antonio, author
Cham, Switzerland : Springer, [2021]
Rating:
|
|
|
2008
Bonino, Guido.
Rating:
|
2006
AISC (Conference) (8th : 2006 : Beijing, China)
Rating:
|
2014
AISC (Conference) (12th : 2014 : Seville, Spain)
Cham ; New York : Springer, [2014]
Rating:
|
2018
AISC (Conference) (13th : 2018 : Suzhou, China)
Cham, Switzerland : Springer, 2018
Rating:
|
2017
Conference on Artificial Intelligence in Medicine (2005- ) (16th : 2017 : Vienna, Austria), author
Cham, Switzerland : Springer, [2017]
Rating:
|
2010
C.I.M.E. Summer School (1968 : Varenna, Italy)
Rating:
|
Add Marked to Bag
Add All On Page
|