Logging in...
User ID
:
Password
:
Register
Forgot your PIN?
Forgot my PIN
Enter your username and a recovery link will be emailed to the email address on file at your library.
User ID
:
Log In
|
My Account
|
My Lists
|
|
Remember to clear the cache and close the browser window.
Rooms Restriction Values
All Fields
Title
Author
General Note
Keyword in Author headings
Subject
Keyword in Subject headings
ISBN
Preferred Shelf Number
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
To enable accessibility mode, return to the beginning of the page and use the link in the menu bar.
Advanced Search
Home Room
Book Collection
E-Book Collection
Multimedia Collection
Thesis Collection
Transportation Engineering Collection
Periodicals Collections
Green Campus
565 Results Found
Actions:
Add to My Lists
Email
Print
Place Hold(s)
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
Select All
1
..
44
45
46
47
48
0
DEFAULT
Select a list
Temporary List
Make this your default list.
The following items were successfully added.
There was an error while adding the following items. Please try again.
One or more items could not be added because you are not logged in.
565.
Logica Universalis Towards a General Theory of Logic
Logica Universalis Towards a General Theory of Logic
by
Beziau, Jean-Yves. editor.
http://dx.doi.org/10.1007/b137041
Format:
Electronic Resources
Select All
1
..
44
45
46
47
48
565 Results Found
Actions:
Add to My Lists
Email
Print
Place Hold(s)
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
Limit Search Results
Narrowed by:
Included
Subject: Mathematical Logic and Formal Languages.
Author
Include
Exclude
SpringerLink (Online service)
(564)
Skowron, Andrzej. editor.
(14)
Peters, James F. editor.
(12)
Gelbukh, Alexander. editor.
(8)
Voronkov, Andrei. editor.
(7)
Bouchon-Meunier, Bernadette. editor.
(5)
Fages, François. editor.
(5)
Narukawa, Yasuo. editor.
(5)
Păun, Gheorghe. editor.
(5)
Rozenberg, Grzegorz. editor.
(5)
Yager, Ronald R. editor.
(5)
Métais, Elisabeth. editor.
(4)
Pogodalla, Sylvain. editor.
(4)
Rossi, Francesca. editor.
(4)
Roth-Berghofer, Thomas R. editor.
(4)
Salomaa, Arto. editor.
(4)
Torra, Vicenç. editor.
(4)
Beckert, Bernhard. editor.
(3)
Butler, Michael. editor.
(3)
Düntsch, Ivo. editor.
(3)
Fiadeiro, José Luiz. editor.
(3)
Foret, Annie. editor.
(3)
Huang, De-Shuang. editor.
(3)
Ibarra, Oscar H. editor.
(3)
Liu, Shaoying. editor.
(3)
Liu, Zhiming. editor.
(3)
Martín-Vide, Carlos. editor.
(3)
Mayr, Heinrich C. editor.
(3)
Medina, Jesús. editor.
(3)
Meseguer, José. editor.
(3)
Muggleton, Stephen. editor.
(3)
Nerode, Anil. editor.
(3)
Ojeda-Aciego, Manuel. editor.
(3)
Orłowska, Ewa. editor.
(3)
Priami, Corrado. editor.
(3)
Quaresma, Paulo. editor.
(3)
Roman, Dumitru. editor.
(3)
Satoh, Ken. editor.
(3)
Schlechta, Karl. author.
(3)
Spiliopoulou, Myra. editor.
(3)
Torroni, Paolo. editor.
(3)
Verdegay, José Luis. editor.
(3)
Wang, Dongming. editor.
(3)
Wang, Guoyin. editor.
(3)
Wang, Lipo. editor.
(3)
Woodcock, Jim. editor.
(3)
Yao, Yiyu. editor.
(3)
Alam, Mehwish. editor. (orcid)0000-0002-7867-6612
(2)
Araki, Keijiro. editor.
(2)
Artemov, Sergei. editor.
(2)
Baader, Franz. editor.
(2)
Baldoni, Matteo. editor.
(2)
Baral, Chitta. editor.
(2)
Bertossi, Leopoldo. editor.
(2)
Beziau, Jean-Yves. editor.
(2)
Bonsangue, Marcello. editor.
(2)
Bontcheva, Kalina. editor.
(2)
Branco, António. editor.
(2)
Cabrera, Inma P. editor.
(2)
Calmet, Jacques. editor.
(2)
Camacho, Rui. editor.
(2)
Carvalho, Joao Paulo. editor.
(2)
Castro, Félix. editor.
(2)
Celino, Irene. editor. (orcid)0000-0001-9962-7193
(2)
Chaudhuri, Swarat. editor.
(2)
Chechik, Marsha. editor.
(2)
Chockler, Hana. editor. (orcid)0000-0003-1219-0713
(2)
Daelemans, Walter. editor.
(2)
De Nicola, Rocco. editor.
(2)
Dershowitz, Nachum. editor.
(2)
Dubois, Didier. editor.
(2)
Etalle, Sandro. editor.
(2)
Farzan, Azadeh. editor.
(2)
Filipe, Joaquim. editor.
(2)
Fitzgerald, John. editor.
(2)
Fränzle, Martin. editor.
(2)
Furia, Carlo A. editor.
(2)
Fürnkranz, Johannes. editor.
(2)
Gabbay, Dov M. author.
(2)
Gama, João. editor.
(2)
Ganter, Bernhard. editor.
(2)
Gnesi, Stefania. editor.
(2)
Goethals, Bart. editor.
(2)
González-Mendoza, Miguel. editor.
(2)
Grzymala-Busse, Jerzy W. editor.
(2)
Hameurlain, Abdelkader. editor.
(2)
Hankin, Chris. editor.
(2)
Hitzler, Pascal. editor.
(2)
Horimoto, Katsuhisa. editor.
(2)
Hähnle, Reiner. editor.
(2)
Ingólfsdóttir, Anna. editor.
(2)
Inoue, Katsumi. editor.
(2)
Inuiguchi, Masahiro. editor.
(2)
Jin, Yaochu. editor.
(2)
Jones, Cliff B. editor.
(2)
Jorge, Alípio Mário. editor.
(2)
Kaffee, Lucie-Aimée. editor. (orcid)0000-0002-1514-8505
(2)
Karhumäki, Juhani. editor.
(2)
Kaymak, Uzay. editor.
(2)
King, Andy. editor.
(2)
Kok, Joost N. editor.
(2)
Kokinov, Boicho. editor.
(2)
Konev, Boris. editor.
(2)
Kop, Christian. editor.
(2)
Koronacki, Jacek. editor.
(2)
Kovacs, Tim. editor.
(2)
Kozaki, Kouji. editor.
(2)
Kwong, Oi Yee. editor.
(2)
Lecomte, Thierry. editor.
(2)
Leite, João. editor.
(2)
Leone, Nicola. editor.
(2)
Lesot, Marie-Jeanne. editor.
(2)
Llorà, Xavier. editor.
(2)
Magnini, Bernardo. editor.
(2)
Maibaum, Tom. editor.
(2)
Margaria, Tiziana. editor.
(2)
Margenstern, Maurice. editor.
(2)
Masulli, Francesco. editor.
(2)
Matwin, Stan. editor.
(2)
Mazzola, Guerino. author.
(2)
McBride, Conor. editor.
(2)
Meziane, Farid. editor.
(2)
Milmeister, Gérard. author.
(2)
Miranda-Jiménez, Sabino. editor.
(2)
Miyamoto, Sadaaki. editor.
(2)
Mladenič, Dunja. editor.
(2)
Montanari, Ugo. editor.
(2)
Morik, Katharina. editor.
(2)
Muskens, Reinhard. editor.
(2)
Nguyen, Hung Son. editor.
(2)
Olivetti, Nicola. editor.
(2)
Orejas, Fernando. editor.
(2)
Pan, Jeff Z. editor.
(2)
Paulin-Mohring, Christine. editor.
(2)
Pedrycz, Witold. editor.
(2)
Pelta, David A. editor.
(2)
Perner, Petra. editor.
(2)
Petrosino, Alfredo. editor.
(2)
Pfenning, Frank. editor.
(2)
Polkowski, Lech. editor.
(2)
Presutti, Valentina. editor.
(2)
Pérez-Jiménez, Mario J. editor.
(2)
Queiroz, Ruy. editor.
(2)
Rutkowski, Leszek. editor.
(2)
Rutten, Jan. editor.
(2)
Sabou, Marta. editor. (orcid)0000-0001-9301-8418
(2)
Sagiv, Mooly. editor.
(2)
Salomaa, Kai. editor.
(2)
Scheffer, Tobias. editor.
(2)
Schewe, Klaus-Dieter. editor.
(2)
Schmitt, Peter H. editor.
(2)
Shankar, Natarajan. editor.
(2)
Simon, Hans Ulrich. editor.
(2)
Simperl, Elena. editor. (orcid)0000-0003-1722-947X
(2)
Soliman, Sylvain. editor.
(2)
Son, Tran Cao. editor.
(2)
Stapleton, Gem. editor.
(2)
Steffen, Bernhard. editor.
(2)
Stumme, Gerd. editor.
(2)
Sugumaran, Vijayan. editor.
(2)
Suárez-Figueroa, Mari Carmen. editor.
(2)
Szczuka, Marcin. editor.
(2)
Słowiński, Roman. editor.
(2)
Tadeusiewicz, Ryszard. editor.
(2)
Takadama, Keiki. editor.
(2)
Thomas, Wolfgang. editor.
(2)
Tomita, Etsuji. editor.
(2)
Toni, Francesca. editor.
(2)
Torgo, Luís. editor.
(2)
Veith, Helmut. editor.
(2)
Vieira, Susana. editor.
(2)
Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294
(2)
Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X
(2)
Weissmann, Jody. author.
(2)
Wimmer, Manuel. editor.
(2)
Wong, Kam-Fai. editor.
(2)
Yao, JingTao. editor.
(2)
Yi, Kwangkeun. editor.
(2)
Zadeh, Lotfi A. editor.
(2)
Ziarko, Wojciech. editor.
(2)
de Queiroz, Ruy. editor.
(2)
Ábrahám, Erika. editor.
(2)
Ésik, Zoltán. editor.
(2)
Ślęzak, Dominik. editor.
(2)
Abad, Alberto. editor.
(1)
Abdelwahed, El Hassan. editor.
(1)
Aceto, Luca. editor.
(1)
Adami, André. editor.
(1)
Adorni, Giovanni. editor.
(1)
Aguilar, Luis T. editor.
(1)
Aguiló, Isabel. editor.
(1)
Aguzzoli, Stefano. editor.
(1)
Ahrendt, Wolfgang. editor.
(1)
Aichernig, Bernhard K. editor.
(1)
Aiello, Marco. editor.
(1)
Albert, Elvira. editor.
(1)
Albornoz, Álvaro. editor.
(1)
Alferes, Jose Julio. editor.
(1)
Alferes, Jóse Júlio. editor.
(1)
Alla, Hassane. author.
(1)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
E-Book
(565)
Language
Include
Exclude
English
(565)
Publication Date
Include
Exclude
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
From Publication Year
-
To Publication Year
2016
(104)
2006
(100)
2018
(95)
2005
(93)
2007
(90)
2008
(82)
2017
(1)
More
View All
Fewer
Collapse All
Subject
Include
Exclude
Computer science.
(564)
Artificial intelligence.
(359)
Logic design.
(249)
Logics and Meanings of Programs.
(248)
Artificial Intelligence (incl. Robotics).
(239)
Software engineering.
(203)
Computation by Abstract Devices.
(138)
Programming Languages, Compilers, Interpreters.
(138)
Algorithm Analysis and Problem Complexity.
(124)
Computer software.
(124)
Programming Techniques.
(99)
Database management.
(80)
Information Storage and Retrieval.
(70)
Data Mining and Knowledge Discovery.
(63)
Data mining.
(63)
Computational complexity.
(54)
Discrete Mathematics in Computer Science.
(54)
Information storage and retrieval systems.
(48)
Information systems.
(46)
Information Systems Applications (incl. Internet).
(43)
Algebra -- Data processing.
(38)
Symbolic and Algebraic Manipulation.
(38)
Computer vision.
(37)
Image Processing and Computer Vision.
(35)
Logic, Symbolic and mathematical.
(31)
Mathematical Logic and Foundations.
(31)
Computer Communication Networks.
(30)
Computer simulation.
(30)
Simulation and Modeling.
(30)
Optical pattern recognition.
(27)
Pattern Recognition.
(27)
Language Translation and Linguistics.
(23)
Translators (Computer programs).
(23)
Electronic data processing.
(22)
Information Systems Applications (incl.Internet).
(22)
Information storage and retrieva.
(22)
Information theory.
(22)
Theory of Computation.
(22)
Document Preparation and Text Processing.
(21)
Text processing (Computer science.
(21)
Computer Appl. in Administrative Data Processing.
(20)
Probability and Statistics in Computer Science.
(19)
Numeric Computing.
(18)
Bioinformatics.
(17)
Natural Language Processing (NLP).
(17)
Natural language processing (Computer science).
(17)
Models and Principles.
(16)
Data Structures.
(15)
Mathematics.
(15)
Mathematics of Computing.
(13)
Logic.
(12)
Systems and Data Security.
(12)
Computational Biology/Bioinformatics.
(11)
Computer Appl. in Social and Behavioral Sciences.
(11)
Data structures (Computer scienc.
(11)
Operating Systems.
(11)
Operating systems (Computers).
(11)
Social sciences -- Data processing.
(11)
Computer security.
(10)
Information Systems.
(10)
Management of Computing and Information Systems.
(10)
Computer system performance.
(8)
Data structures (Computer science).
(8)
Special Purpose and Application-Based Systems.
(8)
System Performance and Evaluation.
(8)
Computer graphics.
(7)
Computer network architectures.
(7)
Engineering.
(7)
Software Engineering/Programming and Operating Systems.
(7)
Computer Systems Organization and Communication Networks.
(6)
Computers and Education.
(6)
Education.
(6)
Management information systems.
(6)
Philosophy of Science.
(6)
Science -- Philosophy.
(6)
Algorithms.
(5)
Applications of Mathematics.
(5)
Business Information Systems.
(5)
Circuits and Systems.
(5)
Math Applications in Computer Science.
(5)
Philosophy (General).
(5)
Philosophy.
(5)
Systems engineering.
(5)
User Interfaces and Human Computer Interaction.
(5)
Algebra.
(4)
Combinatorics.
(4)
Computer aided design.
(4)
Computer industry.
(4)
Computer-Aided Engineering (CAD, CAE) and Design.
(4)
Computing Methodologies.
(4)
Operations Research/Decision Theory.
(4)
Order, Lattices, Ordered Algebraic Structures.
(4)
The Computing Profession.
(4)
Appl.Mathematics/Computational Methods of Engineering.
(3)
Arithmetic and Logic Structures.
(3)
Coding and Information Theory.
(3)
Coding theory.
(3)
Computer Appl. in Arts and Humanities.
(3)
Computer Applications.
(3)
Computer Imaging, Vision, Pattern Recognition and Graphics.
(3)
Computers and Society.
(3)
Data Structures and Information Theory.
(3)
Electronic and Computer Engineering.
(3)
Engineering mathematics.
(3)
Chinese language.
(2)
Chinese.
(2)
Cognitive Psychology.
(2)
Computational Mathematics and Numerical Analysis.
(2)
Computational linguistics.
(2)
Computer science -- Mathematics.
(2)
Consciousness.
(2)
Convex and Discrete Geometry.
(2)
Data protection.
(2)
Discrete groups.
(2)
Distribution (Probability theory).
(2)
Electronics and Microelectronics, Instrumentation.
(2)
Electronics.
(2)
Epistemology.
(2)
Genetic epistemology.
(2)
Health Informatics.
(2)
Information Systems and Communication Service.
(2)
Linguistics -- Philosophy.
(2)
Medical records -- Data processing.
(2)
Philosophy of Language.
(2)
Probability Theory and Stochastic Processes.
(2)
e-Commerce/e-business.
(2)
Algebraic Geometry.
(1)
Algebraic topology.
(1)
Apprentissage automatique.
(1)
Big Data.
(1)
Biology -- Data processing.
(1)
Business Process Management.
(1)
COMPUTERS -- Neural Networks.
(1)
Cell Biology.
(1)
Chemistry -- Mathematics.
(1)
Chemistry.
(1)
Communications Engineering, Networks.
(1)
Complexity.
(1)
Computational Intelligence.
(1)
Computational Science and Engineering.
(1)
Computer Appl. in Life Sciences.
(1)
Computer Science.
(1)
Computer System Implementation.
(1)
Computer hardware.
(1)
Computer programming / software development.
(1)
Control Engineering.
(1)
Control, Robotics, Mechatronics.
(1)
Cytology.
(1)
Data Encryption.
(1)
Data Structures, Cryptology and Information Theory.
(1)
Data encryption (Computer science).
(1)
Databases.
(1)
Electronic Commerce/e-business.
(1)
Electronic commerce.
(1)
Engineering design.
(1)
General Algebraic Systems.
(1)
Geometry, algebraic.
(1)
Geometry.
(1)
Group Theory and Generalizations.
(1)
Group theory.
(1)
History of Mathematics.
(1)
History of Science.
(1)
Information and Communication, Circuits.
(1)
Library science.
(1)
Linguistics.
(1)
MATHEMATICS -- General.
(1)
MATLAB.
(1)
Machine learning.
(1)
Math. Applications in Chemistry.
(1)
Mathematical Applications in Computer Science.
(1)
Mathematical statistics.
(1)
Mathematical theory of computation.
(1)
Mathematics, general.
(1)
Mathematics_$xHistory.
(1)
Medieval Philosophy.
(1)
Metaphysics.
(1)
Mobile computing.
(1)
Multimedia Information Systems.
(1)
Multimedia systems.
(1)
Neural Networks, Computer
(1)
Neural networks (Computer science)
(1)
Ontology.
(1)
Philosophy, medieval.
(1)
Processor Architectures.
(1)
Programming & scripting languages: general.
(1)
Quality Control, Reliability, Safety and Risk.
(1)
Revision and Exam.
(1)
Réseaux neuronaux (Informatique)
(1)
Science -- History.
(1)
Signal, Image and Speech Processing.
(1)
Statistical Theory and Methods.
(1)
System safety.
(1)
Systems Theory, Control.
(1)
Systems and Information Theory in Engineering.
(1)
Systems theory.
(1)
Telecommunication.
(1)
Test-taking skills.
(1)
Theoretical Languages.
(1)
Topology.
(1)
More
View All
Fewer
Collapse All
Shelf Location
Include
Exclude
Springer Collection
(564)
O'reilly E-Books
(1)
Library
Include
Exclude
IYTE Library
(565)
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}