2011

Hybrid logic and its proof-theory

Braüner, Torben



 

2009

Proof theory for fuzzy logics

Metcalfe, George.



 

2008

Analysis and synthesis of logics : how to cut and paste reasoning systems

 

2006

Rigid flexibility : the logic of intelligence

Wang, Pei, 1958-

Dordrecht ; [Great Britain] : Springer, [2006]

Request It 

2006

Rigid flexibility : the logic of intelligence

Wang, Pei, 1958-



 

2005

Reasoning robots : the art and science of programming robotic agents

Thielscher, Michael



 

2004

A modern perspective on type theory : from its origins until today

Kamareddine, Fairouz D



 

2024

Solar thermal energy systems : fundamentals, technology, applications

Platzer, Werner



 

2023

Optimization techniques in engineering : advances and applications

Hoboken, NJ : John Wiley & Sons, Incorporated, 2023

 

2023

Decolonizing Applied Linguistics Research in Latin America Moving to a Multilingual Mindset

Castañeda-Peña, Harold



 

2023

Leadership Mindsets for Adaptive Change The Flux 5

Ravitch, Sharon



 

2023

Applications of Big Data and Artificial Intelligence in Smart Energy Systems Volume 1 Smart Energy System: Design and Its State-Of-the Art Technologies

 

2023

Computational biology and machine learning for metabolic engineering and synthetic biology

New York, NY : Humana Press, [2023]

 

2023

Algebra without borders : classical and constructive nonassociative algebraic structures : foundations and applications

Cham : Springer, [2023]

 

2023

Artificial general intelligence : 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, proceedings

AGI (Conference) (15th : 2022 : Seattle, Wash. ; Online)

Cham : Springer, [2023]

 

2023

Applied mathematics and computational intelligence : ICAMCI-2020, Tripura, India, December 23-24

International Conference on Applied Mathematics and Computational Intelligence (1st : 2020 : Online)



 

2023

Digital psychology : classification, fields of work and research

Metz, Maren

Wiesbaden : Springer, 2023

 

2023

Fuzzy logic and neural networks for hybrid intelligent system design

Cham, Switzerland : Springer, [2023]

 

2023

Hybrid intelligent systems based on extensions of fuzzy logic, neural networks and metaheuristics

[Cham] : Springer, 2023

 

2023

Information and communication technologies : 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, proceedings

TICEC (Conference) (11th : 2023 : Cuenca, Ecuador)

Cham : Springer, [2023]

 

2023

The quantum-like revolu\tion a festschrift for Andrei Khrennikov

 

2023

Geoeconomics in International Relations Neorealist and Neoliberal Conceptualizations

Pfeiffer, Christian



 

2023

Innovation and Sustainability in Governments and Companies

 

2023

Mathematics for computer scientists : a practice-oriented approach

Hartmann, Peter



 

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

 

2022

The Routledge Companion to Pragmatism

Aikin, Scott F



 

2022

The Philosophy of Exemplarity Singularity, Particularity, and Self-Reference

Mácha, Jakub



 

2022

Locating translingualism

Lee, Jerry Won, author.

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2022

 

2022

Banach limit and applications

Das, Gokulananda, author
First edition
Boca Raton : CRC Press, 2022

 

2022

Experimental statistics and data analysis for mechanical and aerospace engineers

Middleton, James A., author.
First edition
Boca Raton, FL : CRC Press, Taylor & Francis Group, 2022

 

2022

The political logic of experience : expression in phenomenology

DeRoo, Neal, 1981- author.
First edition
New York : Fordham University Press, 2022

 

2022

Intelligent systems : 11th Brazilian Conference, BRACIS 2022, Campinas, Brazil, November 28-December 1, 2022, proceedings.

Brazilian Conference on Intelligent Systems (11th : 2022 : Campinas, São Paulo, Brazil)

Cham : Springer, 2022

 

2022

New perspectives on hybrid intelligent system design based on fuzzy logic, neural networks and metaheuristics

Cham : Springer, 2022

 

2022

Philosophy of computing : themes from IACAP 2019

International Association for Computing and Philosophy. International Conference (2019 : Mexico City, Mexico)



 

2022

Spiritual direction as a medical art in early Christian monasticism

Zecher, Jonathan L., author
First edition
Oxford : Oxford University Press, Incorporated, 2022

 

2021

Smart contracts : technological, business and legal perspectives

First edition
London [England] : Hart Publishing, 2021

 

2021

Applied Soft Computing and Embedded System Applications in Solar Energy

Kumar Pachauri, Rupendra



 

2021

Organizational justice and organizational change : managing by love

David, Dominique A., author.

New York, NY : Routledge, 2021

 

2021

Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications

O'Regan, Gerard (Cornelius Gerard), author.
Second edition
Cham : Springer, [2021]

 

2021

Intelligent systems : 10th Brazilian conference, BRACIS 2021, virtual event, November 29-December 3, 2021 : proceedings.

Brazilian Conference on Intelligent Systems (10th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Progress in artificial intelligence and pattern recognition : 7th International Workshop on Artificial Intelligence and Pattern Recognition, IWAIPR 2021, Havana, Cuba, October 5-7, 2021, Proceedings

IWAIPR (Workshop) (7th : 2021 : Online)

Cham : Springer, 2021

 

2021

Recent advances of hybrid intelligent systems based on soft computing

Cham, Switzerland : Springer, [2021]

 

2021

Recent advances in Intuitionistic fuzzy logic systems and mathematics

 

2020

The Molecular Switch : Signaling and Allostery

Phillips, Rob, author

Princeton : Princeton University Press, [2020]

 

2020

Advanced 3D printing with Grasshopper, clay and FDM

Cuevas, Diego García, author

[United States?] : Independently published, 2020

Request It 

2020

Essence and existence : selected essays

Hale, Bob, 1945- author.
First edition
Oxford : Oxford University Press, [2020]

 

2020

Complex social and behavioral systems : game theory and agent-based models

New York, NY : Springer, 2020

 

2020

REFLECTIVE PLANNING PRACTICE theory, cases, and methods

Willson, Richard W.



 

2020

The Orbán Regime : plebiscitary leader democracy in the making

Körösényi, András, author.

Abingdon, Oxon ; New York, NY : Routledge, 2020

 

2020

Information processing and management of uncertainty in knowledge-based systems : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings.

International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (18th : 2020 : Online)