Search Results for Logic.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Library: Online Library

Author

SpringerLink (Online service)

(2126)

(22)

Voronkov, Andrei. editor.

(18)

Kacprzyk, Janusz. editor.

(13)

Wiley InterScience (Online service)

(13)

Gabbay, Dov M., 1945-

(12)

Bonsangue, Marcello M. editor.

(11)

Boer, Frank S. editor.

(10)

Castillo, Oscar. 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)

Melin, Patricia. editor.

(8)

Baldoni, Matteo. editor.

(7)

Bernardo, Marco. 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)

Taylor and Francis.

(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. author.

(5)

Chen, Wai-Kai, 1936-

(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)

LaMeres, Brock J. author.

(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)

Pedrycz, Witold. 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)

Seising, Rudolf. 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)

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)

Hinchey, Mike. editor.

(4)

Horváth, Zoltán. editor.

(4)

Hähnle, Reiner. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Jain, Lakhmi C. editor.

(4)

Koutny, Maciej. editor.

(4)

Kuratowski, Kazimierz, 1896-1980.

(4)

Liang, Qilian. editor.

(4)

Majumdar, Rupak. editor.

(4)

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

(4)

Masulli, Francesco. editor.

(4)

Melin, Patricia. author.

(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)

Panigrahi, Bijaya Ketan. editor.

(4)

Petrosino, Alfredo. editor.

(4)

Risby, Bonnie Lou, author.

(4)

Risby, Robert K., II, author.

(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)

Uzam, Murat, 1968- author.

(4)

Vasconcelos, Wamberto. editor.

(4)

Virbitskaite, Irina. editor.

(4)

Wang, Wei. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Yager, Ronald R. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zhang, Baoju. 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)

(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)

Language

(2942)

(32)

(8)

(3)

(1)

Publication Date

-

(236)

(223)

(210)

(208)

(195)

(185)

(180)

(174)

(171)

(170)

(162)

(156)

(154)

(129)

(44)

(43)

(28)

(27)

(24)

(21)

(20)

(17)

(16)

(16)

(11)

(11)

(11)

(10)

(9)

(8)

(8)

(7)

(7)

(7)

(7)

(6)

(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)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(1244)

(1148)

Software engineering.

(876)

Artificial intelligence.

(665)

Logic, Symbolic and mathematical.

(302)

Computer Communication Networks.

(299)

Computer software.

(241)

(190)

Computer logic.

(161)

(151)

Mathematical logic.

(150)

Computational complexity.

(117)

Philosophy (General).

(115)

Electronic books.

(109)

Logics and Meanings of Programs.

(104)

Information Systems.

(103)

Mathematical Logic and Formal Languages.

(101)

Operating systems (Computers).

(101)

Information theory.

(93)

Computer simulation.

(82)

(80)

Algebra -- Data processing.

(79)

(79)

Information systems.

(77)

Programming languages (Electronic computers).

(75)

Computational intelligence.

(71)

Data structures (Computer science).

(62)

Science -- Philosophy.

(62)

Artificial Intelligence (incl. Robotics).

(60)

Information storage and retrieval systems.

(59)

Computer system performance.

(57)

(57)

Programming Languages, Compilers, Interpreters.

(56)

(54)

Computer network architectures.

(49)

Computer science—Mathematics.

(48)

Database management.

(48)

Systems engineering.

(46)

Electronic data processing.

(43)

(41)

(39)

Electronic circuits.

(39)

Genetic epistemology.

(37)

Computer vision.

(35)

Algorithm Analysis and Problem Complexity.

(32)

Application software.

(32)

Bioinformatics.

(31)

TECHNOLOGY & ENGINEERING.

(31)

Computation by Abstract Devices.

(29)

Engineering mathematics.

(29)

Mathematical Logic and Foundations.

(29)

Programming Techniques.

(29)

Computer programming.

(28)

(28)

Linguistics -- Philosophy.

(28)

Microprocessors.

(27)

Multimedia systems.

(26)

(25)

Computer communication systems.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Management information systems.

(25)

(25)

Information storage and retrieval.

(24)

Computer security.

(23)

Data protection.

(23)

(23)

(23)

(21)

Electronic Circuits and Systems.

(21)

(20)

Digital electronics.

(20)

Information Systems Applications (incl. Internet).

(19)

Telecommunication.

(19)

Computer organization.

(18)

Discrete Mathematics in Computer Science.

(18)

Mathematical statistics.

(18)

Mathematics -- Philosophy.

(18)

(18)

Arithmetic and logic units, Computer.

(17)

Computer aided design.

(17)

Computer system failures.

(17)

Modality (Logic)

(17)

Natural language processing (Computer science).

(17)

(17)

Control engineering.

(16)

(16)

Signal processing.

(16)

Data encryption (Computer science).

(15)

(15)

Logic circuits.

(15)

Mathematics_$xHistory.

(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)

Communications Engineering, Networks.

(13)

Computer hardware.

(13)

Computer science -- Mathematics.

(13)

Information Storage and Retrieval.

(13)

Machine learning.

(13)

Nanotechnology.

(13)

(13)

Algebraic logic.

(12)

Computer architecture.

(12)

MATHEMATICS / Logic

(12)

(12)

Numerical analysis.

(12)

Processor Architectures.

(12)

(12)

(12)

Symbolic and Algebraic Manipulation.

(12)

Computer engineering.

(11)

Computer industry.

(11)

(11)

Science -- History.

(11)

(10)

Computational linguistics.

(10)

Control and Systems Theory.

(10)

Data Mining and Knowledge Discovery.

(10)

Global analysis (Mathematics).

(10)

(10)

MATHEMATICS / General

(10)

PHILOSOPHY / Logic

(10)

(10)

Philosophy of mind.

(10)

Soft computing.

(10)

TECHNOLOGY / Electronics / Circuits / General

(10)

Arithmetic and Logic Structures.

(9)

Control theory.

(9)

Data structures (Computer scienc.

(9)

(9)

Electronics and Microelectronics, Instrumentation.

(9)

Embedded computer systems.

(9)

Engineering design.

(9)

Geometry, algebraic.

(9)

Industrial engineering.

(9)

Intelligence (AI) & Semantics.

(9)

Intelligence artificielle.

(9)

Language and logic.

(9)

Logic programming -- Congresses.

(9)

Logic programming.

(9)

Mathematical optimization.

(9)

PHILOSOPHY / General

(9)

(9)

Signal, Speech and Image Processing.

(9)

Special purpose computers.

(9)

TECHNOLOGY / Electricity

(9)

programmation en logique.

(9)

Computer networks .

(8)

Economics, Mathematical.

(8)

Engineering -- Data processing.

(8)

(8)

Knowledge, Theory of.

(8)

Language and languages -- Philosophy.

(8)

Law -- Philosophy.

(8)

(8)

Math Applications in Computer Science.

(8)

Memory management (Computer science).

(8)

Microprogramming.

(8)

Operations research.

(8)

Philosophy, modern.

(8)

TECHNOLOGY / Electronics / General

(8)

Theory of Computation.

(8)

(8)

Logische Programmierung.

(7)

(7)

Microprogramming .

(7)

Optical data processing.

(7)

Probability and Statistics in Computer Science.

(7)

Programmable logic devices.

(7)

Quantum theory.

(7)

Recursion theory.

(7)

Science -- Philosophy -- Congresses.

(7)

Semantics (Philosophy)

(7)

Social sciences -- Data processing.

(7)

Social sciences.

(7)

Software Engineering/Programming and Operating Systems.

(7)

TECHNOLOGY & ENGINEERING -- Mechanical.

(7)

Applied linguistics.

(6)

Architecture, Computer.

(6)

Axiomatic set theory.

(6)

COMPUTERS / Computer Engineering

(6)

(6)

Computational Intelligence.

(6)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(6)

Computer Science, general.

(6)

Control, Robotics, Automation.

(6)

Data Engineering.

(6)

(6)

Electrical engineering.

(6)

Embedded Systems.

(6)

(6)

(6)

Expert systems (Computer science)

(6)

Field programmable gate arrays.

(6)

History of Mathematical Sciences.

(6)

Logisch programmeren.

(6)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

2992 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 250

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.

1.

Cover image for Logic Programming with Prolog

Logic Programming with Prolog

Logic Programming with Prolog

Author

Bramer, Max. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-212-8

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Fuzzy logic in geology

Fuzzy logic in geology

Fuzzy logic in geology

Author

Demicco, Robert V. Klir, George J., 1932-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Logic, Thought and Language

Logic, Thought and Language

Logic, Thought and Language

Author

O'Hear, Anthony.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Fuzzy logic in chemistry

Fuzzy logic in chemistry

Fuzzy logic in chemistry

Author

Rouvray, D. H.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Molecular logic-based computation

Molecular logic-based computation

Molecular logic-based computation

Author

Silva, A. Prasanna de.

Preferred Shelf Number

ONLINE(343059.1)

Electronic Access

Check for Full Text Access restricted: MSVU users only
Royal Society of Chemistry http://dx.doi.org/10.1039/9781849733021
ebrary http://site.ebrary.com/id/10640412
http://swb.eblib.com/patron/FullRecord.aspx?p=1185759

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Logic and Integer Programming

Logic and Integer Programming

Logic and Integer Programming

Author

Williams, H. Paul. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-92280-5

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Logic design of nanoICs

Logic design of nanoICs

Logic design of nanoICs

Author

Yanushkevich, Svetlana N., author. Shmerko, Vlad P. Lyshevski, Sergey Edward.

Preferred Shelf Number

TK7874.8 .Y36 2005

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Logic and information flow

Logic and information flow

Logic and information flow

Author

Eijck, J. van (Jan) Visser, Albert.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Logic IC master reference

Logic IC master reference

Logic IC master reference

Author

Heiserman, David L., 1940-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Logic, automata, and algorithms

Logic, automata, and algorithms

Logic, automata, and algorithms

Author

Aĭzerman, M. A. (Mark Aronovich), 1913-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Hybrid Logic and its Proof-Theory

Hybrid Logic and its Proof-Theory

Hybrid Logic and its Proof-Theory

Author

Braüner, Torben. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0002-4

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for A grammatical view of logic programming

A grammatical view of logic programming

A grammatical view of logic programming

Author

Deransart, Pierre. Małuszyński, J. (Jan), 1941-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 250

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11