Refine your search
- Availability
-
Authors
- Abdyssagin, Rakhat-Bi 1
- Baratgin, Jean 1
- Barron, Emmanuel N. 1
- Batzoglou, Serafim 1
- Bezhanishvili, Nick 1
- Birman, Romina 1
- Cantone, Domenico 1
- Carrara, Massimiliano 1
- Chen, Rongjun 1
- Del Greco, John G. 1
- Gierasimczuk, Nina 1
- Hoffmann, Dirk W. 1
- Huang, Kaizhu 1
- Hussain, Amir 1
- Iemhoff, Rosalie 1
- Jacquet, Baptiste 1
- König, Barbara 1
- Kossak, Roman 1
- Lennox, James Bryan 1
- Leuenberger, Stephan 1
- Liao, Iman Yi 1
- Liu, Xiaoyong 1
- Li, Wei 1
- Malinowski, Jacek 1
- Ma, Ping 1
- Marker, David 1
- Martino, Enrico 1
- Maul, Thomas 1
- Palczewski, Rafał 1
- Petrich, Mario 1
- Petrolo, Mattia 1
- Piccolomini d'Aragona, Antonio 1
- Pulvirenti, Alfredo 1
- Reilly, Norman R. 1
- Ren, Jinchang 1
- Ribeiro, Leila 1
- Rieger, Adam 1
- Sekerinski, Emil 1
- Soifer, Alexander 1
- Srivastava, Shashi Mohan 1
- Sui, Yuefei 1
- Tschinkel, Yuri 1
- Urbat, Henning 1
- Velázquez-Quesada, Fernando R. 1
- Venturi, Giorgio 1
- Viale, Matteo 1
- Weiss, Yale 1
- Yama, Hiroshi 1
- Yang, Fan 1
- Zerpa, Levis 1
- Zhao, Huimin 1
- Show more
- Show less
-
Series
- Anticipation Science 1
- Graduate Texts in Mathematics 1
- History of Analytic Philosophy 1
- La Matematica per il 3+2 1
- Lecture Notes in Artificial Intelligence 1
- Lecture Notes in Computer Science 5
- Outstanding Contributions to Logic 3
- Perspectives in Formal Induction, Revision and Evo... 1
- Simons Symposia 1
- Springer Graduate Texts in Philosophy 1
- Synthese Library, Studies in Epistemology, Logic, ... 4
- Synthesis Lectures on Mathematics & Statistics 2
- University Texts in the Mathematical Sciences 1
- Show more
- Show less
-
Topics
- Algebra 1
- Algebraic geometry 1
- Algebraic Geometry 1
- Algebraic logic 1
- Algebraic Logic 1
- Analysis (Philosophy) 2
- Analytic Philosophy 2
- Applications of Mathematics 2
- Applied Statistics 1
- Arithmetic and Logic Structures 1
- Artificial intelligence 2
- Artificial Intelligence 2
- Big data 1
- Big Data 1
- Bioinformatics 1
- Biological models 1
- Biological Models 1
- Biology 1
- Computational and Systems Biology 1
- Computer Application in Social and Behavioral Scie... 2
- Computer arithmetic and logic units 1
- Computer Communication Networks 1
- Computer Modelling 1
- Computer networks 1
- Computer science 6
- Computer Science Logic and Foundations of Programm... 1
- Computer simulation 1
- Contemporary Music 1
- Control Structures and Microprogramming 1
- Discrete mathematics 1
- Discrete Mathematics 1
- Engineering mathematics 1
- Engineering Mathematics 1
- Epistemology 1
- Formal Languages and Automata Theory 3
- Formal Logic 1
- General Relativity 1
- General relativity (Physics) 1
- Group theory 1
- Group Theory and Generalizations 1
- History 1
- History of Mathematical Sciences 1
- Knowledge, Theory of 1
- Linguistics 1
- Logic 8
- Logic in AI. 5
- Logic programming 5
- Logic, Symbolic and mathematical 1
- Machine learning 1
- Machine Learning 1
- Machine theory 3
- Mathematical logic 27
- Mathematical Logic and Foundations 27
- Mathematical Logic in Philosophy 1
- Mathematical Modeling and Industrial Mathematics 1
- Mathematical models 1
- Mathematical physics 1
- Mathematical Physics 1
- Mathematics 7
- Mathematics of Computing 2
- Microprogramming 1
- Music 1
- Natural language processing (Computer science) 2
- Natural Language Processing (NLP) 2
- Order, Lattices, Ordered Algebraic Structures 1
- Philosophy 1
- Philosophy of Biology 1
- Philosophy of Mathematics 4
- Philosophy of Science 1
- Quantum physics 1
- Quantum Physics 1
- Science 1
- Set theory 2
- Set Theory 2
- Social sciences 2
- Software engineering 2
- Software Engineering 2
- Statistics 1
- Theory of Computation 3
- Thermodynamics 1
- Show more
- Show less