Search Results for Logic

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Library: Online Library

Author

SpringerLink (Online service)

(2011)

(22)

Voronkov, Andrei. editor.

(18)

Wiley InterScience (Online service)

(13)

Gabbay, Dov M., 1945-

(12)

Bonsangue, Marcello M. editor.

(11)

Boer, Frank S. editor.

(10)

Potapov, Igor. editor.

(9)

Rozenberg, Grzegorz. editor.

(9)

Woods, John (John Hayden)

(9)

Barthe, Gilles. editor.

(8)

Dix, Jürgen. editor.

(8)

Liu, Zhiming. editor.

(8)

Löwe, Benedikt. editor.

(8)

Baldoni, Matteo. editor.

(7)

Bernardo, Marco. editor.

(7)

Kacprzyk, Janusz. editor.

(7)

Leite, João. editor.

(7)

Martín-Vide, Carlos. editor.

(7)

Mostowski, Andrzej.

(7)

Peña, Ricardo. editor.

(7)

Queiroz, Ruy. editor.

(7)

Woodcock, Jim. editor.

(7)

Calude, Cristian S. editor.

(6)

Cooper, S. Barry. editor.

(6)

Fages, François. editor.

(6)

Fiadeiro, José Luiz. editor.

(6)

Governatori, Guido. editor.

(6)

Graf, Susanne. editor.

(6)

Meseguer, José. editor.

(6)

Rahman, Shahid. editor.

(6)

Son, Tran Cao. editor.

(6)

Stafford, Judith A. editor.

(6)

Stenström, Per. editor.

(6)

Torroni, Paolo. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Castillo, Oscar. editor.

(5)

Dastani, Mehdi. editor.

(5)

Dediu, Adrian-Horia. editor.

(5)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(5)

Gabbay, Dov M. author.

(5)

Gabbay, Dov M. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Hanus, Michael. editor.

(5)

Huisman, Marieke. editor.

(5)

John Wiley & Sons.

(5)

Karhumäki, Juhani. editor.

(5)

Legay, Axel. editor.

(5)

Leucker, Martin. editor.

(5)

Liu, Shaoying. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

Meyer, Bertrand. editor.

(5)

Montanari, Ugo. editor.

(5)

Ong, Luke. editor.

(5)

Palsberg, Jens. editor.

(5)

Paschke, Adrian. editor.

(5)

Peled, Doron A. editor.

(5)

Reed, Rick. editor.

(5)

Rensink, Arend. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Steffen, Bernhard. editor.

(5)

Tarski, Alfred.

(5)

Veith, Helmut. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Aßmann, Uwe. editor.

(4)

Bekki, Daisuke. editor.

(4)

Bensalem, Saddek. editor.

(4)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(4)

Bravetti, Mario. editor.

(4)

Butler, Michael. editor.

(4)

Castillo, Oscar. author.

(4)

Crnkovic, Ivica. editor.

(4)

Damiani, Ferruccio. editor.

(4)

Duan, Zhenhua. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Filipe, Joaquim. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Giannakopoulou, Dimitra. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Goertzel, Ben. editor.

(4)

Gorton, Ian. editor.

(4)

Havelund, Klaus. editor.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Horváth, Zoltán. editor.

(4)

Hähnle, Reiner. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Koutny, Maciej. editor.

(4)

Kuratowski, Kazimierz, 1896-1980.

(4)

LaMeres, Brock J. author.

(4)

Majumdar, Rupak. editor.

(4)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(4)

Masulli, Francesco. editor.

(4)

Melin, Patricia. editor.

(4)

Merayo, Mercedes G. editor.

(4)

Nerode, Anil. editor.

(4)

Nicola, Rocco. editor.

(4)

Núñez, Manuel. editor.

(4)

Paige, Richard F. editor.

(4)

Palanque, Philippe. editor.

(4)

Petrosino, Alfredo. editor.

(4)

Robinson, Abraham, 1918-1974.

(4)

Roever, Willem-Paul. editor.

(4)

Roman, Dumitru. editor.

(4)

Rudolph, Sebastian. editor.

(4)

Salaün, Gwen. editor.

(4)

Sattler, Uli. editor.

(4)

Schlechta, Karl. author.

(4)

Schürr, Andy. editor.

(4)

Seipel, Dietmar. editor.

(4)

Sirjani, Marjan. editor.

(4)

Suppes, Patrick, 1922-

(4)

Ungerer, Theo. editor.

(4)

Vasconcelos, Wamberto. editor.

(4)

Virbitskaite, Irina. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zsók, Viktória. editor.

(4)

Ölveczky, Peter Csaba. editor.

(4)

Alpuente, María. editor.

(3)

Andreescu, Titu. author.

(3)

Artemov, Sergei. editor.

(3)

Association for Symbolic Logic.

(3)

Banerjee, Mohua. editor.

(3)

Baroglio, Cristina. editor.

(3)

Beklemishev, Lev D. editor.

(3)

Bjørner, Nikolaj. editor.

(3)

Blackburn, Patrick. editor.

(3)

Boella, Guido. editor.

(3)

Bondavalli, Andrea. editor.

(3)

Bordini, Rafael H. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Butterfield, Andrew. editor.

(3)

Cai, Zhipeng. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Chechik, Marsha. editor.

(3)

Cook, Byron. editor.

(3)

Corradini, Andrea. editor.

(3)

Costa, Newton C. A. da.

(3)

Crossley, John N.

(3)

Curry, Haskell B. (Haskell Brooks), 1900-1982.

(3)

Dalen, D. van (Dirk), 1932-

(3)

Dalen, Dirk. author.

(3)

Dawar, Anuj. editor.

(3)

Deiser, Oliver. author.

(3)

Derrick, John. editor.

(3)

Dershowitz, Nachum. editor.

(3)

Dingel, Juergen. editor.

(3)

Dompere, Kofi Kissi. author.

(3)

Dowek, Gilles. author.

(3)

Eekelen, Marko. editor.

(3)

Eiter, Thomas. editor.

(3)

Ermolayev, Vadim. editor.

(3)

Faber, Wolfgang. editor.

(3)

Fallah Seghrouchni, Amal. editor.

(3)

Fenstad, Jens Erik.

(3)

Fisher, Michael. editor.

(3)

Fitzgerald, John. editor.

(3)

Fomin, Fedor V. editor.

(3)

Fraenkel, Abraham Adolf, 1891-1965.

(3)

Fu, Haohuan. editor.

(3)

(3)

Gandy, R. O. (Robin O.)

(3)

Gavrilova, Marina L. editor.

(3)

Gerdt, Vladimir P. editor.

(3)

Giese, Holger. editor.

(3)

Grumberg, Orna. editor.

(3)

Guelfi, Nicolas. editor.

(3)

(3)

Hartman, Alan. editor.

(3)

Heckel, Reiko. editor.

(3)

Henzinger, Thomas A. editor.

(3)

Hermanns, Holger. editor.

(3)

Hermenegildo, Manuel V. editor.

(3)

Herzig, Andreas. editor.

(3)

Hinchey, Mike. editor.

(3)

Hoffmann, Dirk W. author.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

International Colloquium in the Philosophy of Science (1965 : Bedford College)

(3)

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

(3)

Johnsen, Einar Broch. editor.

(3)

Jones, Cliff B. editor.

(3)

Kanamori, Akihiro. editor.

(3)

Katoen, Joost-Pieter. editor.

(3)

Katz, Shmuel. editor.

(3)

Keisler, H. Jerome.

(3)

Khurshid, Sarfraz. editor.

(3)

Kindler, Ekkart. editor.

(3)

Kobayashi, Naoki. editor.

(3)

Language

(2486)

(32)

(8)

(3)

(1)

Publication Date

-

(234)

(221)

(210)

(195)

(176)

(168)

(167)

(165)

(163)

(152)

(150)

(130)

(95)

(70)

(19)

(18)

(12)

(11)

(11)

(10)

(10)

(9)

(8)

(8)

(7)

(7)

(7)

(7)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(1243)

(1139)

Software engineering.

(874)

Artificial intelligence.

(605)

Computer Communication Networks.

(294)

Logic, Symbolic and mathematical.

(292)

Computer software.

(241)

(176)

Computer logic.

(160)

Mathematical logic.

(149)

(148)

Computational complexity.

(117)

Philosophy (General).

(115)

Logics and Meanings of Programs.

(104)

Information Systems.

(103)

Mathematical Logic and Formal Languages.

(101)

Operating systems (Computers).

(101)

Information theory.

(91)

Computer simulation.

(80)

(80)

Algebra -- Data processing.

(79)

(77)

Information systems.

(77)

Programming languages (Electronic computers).

(75)

Artificial Intelligence (incl. Robotics).

(60)

Data structures (Computer science).

(60)

Science -- Philosophy.

(60)

Information storage and retrieval systems.

(59)

Computer system performance.

(57)

Programming Languages, Compilers, Interpreters.

(56)

(53)

(52)

Computer network architectures.

(49)

Computer science—Mathematics.

(48)

Database management.

(48)

Systems engineering.

(45)

Electronic data processing.

(41)

(37)

Genetic epistemology.

(37)

Algorithm Analysis and Problem Complexity.

(32)

Application software.

(32)

Computer vision.

(30)

Electronic books.

(30)

Bioinformatics.

(29)

Computation by Abstract Devices.

(29)

Programming Techniques.

(29)

Linguistics -- Philosophy.

(28)

Mathematical Logic and Foundations.

(28)

Computer programming.

(27)

Computer communication systems.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Management information systems.

(25)

Multimedia systems.

(25)

(25)

(24)

Information storage and retrieval.

(24)

Engineering mathematics.

(23)

Data protection.

(22)

(22)

Computer security.

(20)

(20)

(19)

(19)

Information Systems Applications (incl. Internet).

(19)

Computer organization.

(18)

Discrete Mathematics in Computer Science.

(18)

(18)

(18)

Arithmetic and logic units, Computer.

(17)

Computer aided design.

(17)

Computer system failures.

(17)

Mathematics -- Philosophy.

(17)

Mathematical statistics.

(16)

Microprocessors.

(16)

Data encryption (Computer science).

(15)

Digital electronics.

(15)

Electronic circuits.

(15)

Mathematics_$xHistory.

(15)

Natural language processing (Computer science).

(15)

(15)

Data transmission systems.

(14)

Distribution (Probability theory).

(14)

Management of Computing and Information Systems.

(14)

(14)

Optical pattern recognition.

(14)

Simulation and Modeling.

(14)

Translators (Computer programs).

(14)

Computer hardware.

(13)

Information Storage and Retrieval.

(13)

Modality (Logic)

(13)

Logic circuits.

(12)

(12)

Numerical analysis.

(12)

(12)

Algebraic logic.

(11)

Computer industry.

(11)

Science -- History.

(11)

Symbolic and Algebraic Manipulation.

(11)

Global analysis (Mathematics).

(10)

(10)

Philosophy of mind.

(10)

Data Mining and Knowledge Discovery.

(9)

Data structures (Computer scienc.

(9)

Geometry, algebraic.

(9)

Logic programming -- Congresses.

(9)

(9)

Special purpose computers.

(9)

programmation en logique.

(9)

Arithmetic and Logic Structures.

(8)

Computational linguistics.

(8)

Economics, Mathematical.

(8)

(8)

(8)

Logic programming.

(8)

Math Applications in Computer Science.

(8)

Memory management (Computer science).

(8)

Microprogramming.

(8)

Philosophy, modern.

(8)

(8)

Theory of Computation.

(8)

(8)

(7)

(7)

Logische Programmierung.

(7)

Optical data processing.

(7)

(7)

Quantum theory.

(7)

Recursion theory.

(7)

Science -- Philosophy -- Congresses.

(7)

Social sciences -- Data processing.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Applied linguistics.

(6)

Architecture, Computer.

(6)

Computational Intelligence.

(6)

Computer Science, general.

(6)

Control theory.

(6)

Engineering design.

(6)

(6)

History of Mathematical Sciences.

(6)

Language and logic.

(6)

Law -- Philosophy.

(6)

(6)

Logisch programmeren.

(6)

Nanotechnology.

(6)

Numeric Computing.

(6)

Philosophy of law.

(6)

Probability and Statistics in Computer Science.

(6)

Semantics (Philosophy)

(6)

Social sciences -- Philosophy.

(6)

System Performance and Evaluation.

(6)

Telecommunication.

(6)

Automatic control.

(5)

Axiomatic set theory.

(5)

Computational Biology/Bioinformatics.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Computer graphics.

(5)

Game Theory, Economics, Social and Behav. Sciences.

(5)

Intuitionistic mathematics.

(5)

(5)

Language and languages -- Philosophy.

(5)

(5)

Logic, Medieval.

(5)

Many-valued logic.

(5)

Mathematical physics.

(5)

Microprogramming .

(5)

Neural networks (Computer science)

(5)

Neurale netwerken.

(5)

Nonmonotonic reasoning.

(5)

Operating Systems.

(5)

Operations research.

(5)

Pattern recognition.

(5)

(5)

Programmable controllers.

(5)

Programmable logic devices.

(5)

Special Purpose and Application-Based Systems.

(5)

(5)

User Interfaces and Human Computer Interaction.

(5)

VHDL (Computer hardware description language)

(5)

Algebra, Boolean.

(4)

Biomedical engineering.

(4)

Categories (Mathematics)

(4)

Circuits and Systems.

(4)

Combinatory logic.

(4)

Computer Appl. in Administrative Data Processing.

(4)

Computer engineering.

(4)

Computer science -- Mathematics.

(4)

(4)

Data Structures.

(4)

(4)

(4)

Expert systems (Computer science)

(4)

Field programmable gate arrays.

(4)

First-order logic.

(4)

Functional analysis.

(4)

(4)

History of Philosophy.

(4)

Industrial engineering.

(4)

Knowledge representation (Information theory) .

(4)

Knowledge, Theory of.

(4)

Mathematics of Computing.

(4)

Material Type

Shelf Location

Electronic Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

2536 Results Found

Subscribe to search results

1 .. 4 5 6 7 8 .. 212

000000000000DEFAULT

Print

Select a 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.

61.

Cover image for A Companion to philosophical logic

A Companion to philosophical logic

A Companion to philosophical logic

Author

Jacquette, Dale. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470996751

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Greek, Indian, and Arabic logic

Greek, Indian, and Arabic logic

Greek, Indian, and Arabic logic

Author

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444504661

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Games: Unifying Logic, Language, and Philosophy

Games: Unifying Logic, Language, and Philosophy

Games: Unifying Logic, Language, and Philosophy

Author

Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9374-6

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Mathematical Logic Foundations for Information Science

Mathematical Logic Foundations for Information Science

Mathematical Logic Foundations for Information Science

Author

Li, Wei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-9977-1

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for Categorical logic and type theory

Categorical logic and type theory

Categorical logic and type theory

Author

Jacobs, Bart.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444501707

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Tools and techniques in modal logic

Tools and techniques in modal logic

Tools and techniques in modal logic

Author

Kracht, Marcus.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444500557

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Intuitionistic logic, model theory and forcing

Intuitionistic logic, model theory and forcing

Intuitionistic logic, model theory and forcing

Author

Fitting, Melvin, 1942-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534187

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Elements of mathematical logic (Model theory)

Elements of mathematical logic (Model theory)

Elements of mathematical logic (Model theory)

Author

Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534125

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for A survey of mathematical logic

A survey of mathematical logic

A survey of mathematical logic

Author

Wang, Hao, 1921-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533982

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for Truth and consequence in mediaeval logic

Truth and consequence in mediaeval logic

Truth and consequence in mediaeval logic

Author

Moody, Ernest A. (Ernest Addison), 1903-1975.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533760

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for The propositional logic of Boethius

The propositional logic of Boethius

The propositional logic of Boethius

Author

Dürr, Karl, 1888-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533661

Format:

Availability

Online Library~1

Available:
Copies:

72.

Cover image for An essay in modal logic

An essay in modal logic

An essay in modal logic

Author

Wright, G. H. von (Georg Henrik), 1916-2003.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533708

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 4 5 6 7 8 .. 212

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11