Search Results for Algebraic 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

Author

SpringerLink (Online service)

(22)

Galatos, Nikolaos.

(2)

Abe, Jair Minoro. author.

(1)

(1)

Andréka, Hajnal. editor.

(1)

Arnold, A. (André), 1945-

(1)

Aubrey, Jason A., 1975- author.

(1)

Batton-Hubert, Mireille, editor.

(1)

Brlek, Srečko. editor.

(1)

Campagner, Andrea. editor.

(1)

Charlier, Émilie. editor.

(1)

Cooke, Roger, 1942-

(1)

Craig, William, 1918-

(1)

Day, Joel D. editor. (orcid)0000-0002-3660-7766

(1)

Dediu, Adrian-Horia. editor.

(1)

Desjardin, Eric, editor.

(1)

Di Nola, Antonio. author.

(1)

Domingo, George, 1937- author.

(1)

El-Halwagi, Mahmoud M., 1962-

(1)

Engler, Antonio J. author.

(1)

Fensel, Anna. editor.

(1)

Ferenczi, Miklós. editor.

(1)

Futatsugi, Kokichi.

(1)

Grigolia, Revaz. author.

(1)

Hailperin, Theodore.

(1)

Halldórsson, Magnús M. editor.

(1)

Hanus, Michael. editor.

(1)

Hartmann, Peter. author.

(1)

Holliday, Wesley H. editor.

(1)

Inclezan, Daniela. editor.

(1)

International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.)

(1)

Iwama, Kazuo. editor.

(1)

Janoušek, Jan. editor.

(1)

Kagan, Evgeny. author.

(1)

Kobayashi, Naoki. editor.

(1)

Korytkowski, Marcin. editor.

(1)

Lawvere, F. W..

(1)

Leivant, Daniel. editor.

(1)

Leroy, Julien. editor.

(1)

Linninger, Andreas A.

(1)

Madden, Daniel J., 1948- author.

(1)

Manea, Florin. editor. (orcid)0000-0001-6094-3324

(1)

Manin, Yuri Ivanovic. author.

(1)

Martín-Vide, Carlos. editor.

(1)

Mesiar, Radko. editor.

(1)

Moss, Lawrence S. editor.

(1)

Munro, Neil, ed.

(1)

Nakagawa, A. T. (Ataru T.)

(1)

Niwiński, Damian.

(1)

Németi, István. editor.

(1)

Ozaki, Ana. editor.

(1)

Panchishkin, Alexei A. author.

(1)

Pinet, Francois, 1973- editor.

(1)

Pistone, Giovanni., author.

(1)

Prestel, Alexander. author.

(1)

Rasiowa, Helena.

(1)

Reutenauer, Christophe. editor.

(1)

Riccomagno, Eva.

(1)

Rigo, Michel. editor.

(1)

Roman, Dumitru. editor.

(1)

(1)

Rutkowski, Leszek. editor.

(1)

Rybalov, Alexander. author.

(1)

Saminger-Platz, Susanne. editor.

(1)

Scherer, Rafal. editor.

(1)

Schlechta, Karl.

(1)

Serdyukov, Vladimir. editor.

(1)

Serdyukova, Natalia. editor.

(1)

Soylu, Ahmet. editor.

(1)

Speckmann, Bettina. editor.

(1)

Stark, W. Richard.

(1)

Tadeusiewicz, Ryszard. editor.

(1)

Tamai, T. (Tetsuo)

(1)

Tarski, Alfred.

(1)

(1)

Truthe, Bianca. editor.

(1)

Tucker, Allen B.

(1)

Turunen, Esko. author.

(1)

Urs Lenz, Oliver. editor.

(1)

(1)

(1)

Wang, Wen-fang. editor.

(1)

Wiley InterScience (Online service)

(1)

(1)

Wąs, Jarosław. editor.

(1)

Xia, Shuyin. editor.

(1)

Yager, Ronald. author.

(1)

Yao, JingTao. editor.

(1)

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501

(1)

Zadeh, Lotfi A. editor.

(1)

Zurada, Jacek M. editor.

(1)

de Oliveira, Anjolina G. editor.

(1)

de Paiva, Valeria. editor.

(1)

de Queiroz, Ruy. editor.

(1)

van der Hoek, Wiebe. editor.

(1)

Ölveczky, Peter Csaba. author.

(1)

Ślęzak, Dominik. editor.

(1)

Language

(43)

Publication Date

-

(4)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Algebraic logic.

(13)

(7)

Computer science -- Mathematics.

(6)

Computer science.

(6)

Machine theory.

(5)

Computational intelligence.

(4)

Computer Science Logic and Foundations of Programming.

(4)

Formal Languages and Automata Theory.

(4)

(3)

Artificial intelligence.

(3)

Discrete Mathematics in Computer Science.

(3)

Discrete mathematics.

(3)

Lattice theory.

(3)

Logic, Symbolic and mathematical.

(3)

(3)

Natural Language Processing (NLP).

(3)

Natural language processing (Computer science).

(3)

Electronic books.

(2)

Geometry, algebraic.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical statistics.

(2)

(2)

Symbolic and Algebraic Manipulation.

(2)

Theory of Computation.

(2)

Algebra -- History.

(1)

Algebra, Boolean.

(1)

Algebra, Homological.

(1)

Algebra--Data processing.

(1)

Algebraic logic -- Congresses.

(1)

Algebraic logic -- Data processing.

(1)

Algebraic topology.

(1)

Arithmetic -- Foundations.

(1)

Biomass energy -- Congresses.

(1)

Boole, George, 1815-1864.

(1)

Categories (Mathematics)

(1)

Category Theory, Homological Algebra.

(1)

Chemical process control -- Computer-aided design -- Congresses.

(1)

Chemical processes -- Data processing -- Congresses.

(1)

(1)

Computer Communication Networks.

(1)

Computer Modelling.

(1)

Computer networks .

(1)

Computer programming.

(1)

Computer science -- Handbooks, manuals, etc.

(1)

Computer simulation.

(1)

Control theory.

(1)

Data encryption (Computer science).

(1)

Differential-algebraic equations.

(1)

Données géospatiales.

(1)

Electronic apparatus and appliances

(1)

Electronic apparatus and appliances.

(1)

(1)

Engineering -- Data processing.

(1)

Engineering -- Handbooks, manuals, etc.

(1)

Engineering mathematics.

(1)

Fixed point theory.

(1)

Formal methods (Computer science) -- Congresses.

(1)

Functions of real variables

(1)

Functions of real variables -- Textbooks.

(1)

General Algebraic Systems.

(1)

Geospatial data

(1)

Geospatial data.

(1)

LISP (BİLGİSAYAR PROGRAMLAMA DİLİ).

(1)

Laplace transformation.

(1)

Linear programming.

(1)

Linear systems.

(1)

(1)

Logic programming.

(1)

(1)

MATHEMATICS -- General.

(1)

MATHEMATICS / Algebra / Abstract

(1)

MATHEMATICS / Algebra / General

(1)

Maple (Computer file)

(1)

Maple (Logiciel)

(1)

Mathematical Logic and Formal Languages.

(1)

Mathematical analysis

(1)

Mathematical analysis -- Textbooks.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical logic.

(1)

Mathematical physics -- Data processing.

(1)

Mathematical physics.

(1)

Mathematics of Computing.

(1)

Mathematische Logik.

(1)

Modality (Logic)

(1)

Monotonic functions.

(1)

Nonlinear control theory.

(1)

Nonmonotonic reasoning.

(1)

(1)

Numbers, Real -- Textbooks.

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

(1)

(1)

Probability and Statistics in Computer Science.

(1)

Programming Techniques.

(1)

(1)

Proof theory -- Textbooks.

(1)

(1)

Robust control.

(1)

(1)

Semantics -- Mathematical models.

(1)

Semi-conducteurs.

(1)

(1)

Semiconductors.

(1)

Sliding mode control.

(1)

Software engineering.

(1)

Solid state electronics

(1)

Solid state electronics.

(1)

Sustainable engineering -- Congresses.

(1)

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Semiconductors.

(1)

TECHNOLOGY & ENGINEERING.

(1)

THEORIE EQUATIONNELLE.

(1)

(1)

Trees (Graph theory).

(1)

Universal algebra.

(1)

langage algébrique.

(1)

logique premier ordre.

(1)

(1)

Électronique de l'état solide.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

43 Results Found

Subscribe to search results

1 2 3 4

0000000DEFAULT

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 Rudiments of [mu]-calculus

Rudiments of [mu]-calculus

Rudiments of [mu]-calculus

Author

Arnold, A. (André), 1945- Niwiński, Damian.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Algebraic statistics : computational commutative algebra in statistics

Algebraic statistics : computational commutative algebra in statistics

Algebraic statistics : computational commutative algebra in statistics

Author

Pistone, Giovanni., author. Riccomagno, Eva. Wynn, Henry P.

Preferred Shelf Number

QA276 .P53 2001

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Cafe an industrial-strength algebraic formal method

Cafe an industrial-strength algebraic formal method

Cafe an industrial-strength algebraic formal method

Author

Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Symbolic Methods in Control System Analysis and Design

Symbolic Methods in Control System Analysis and Design

Symbolic Methods in Control System Analysis and Design

Author

Munro, Neil, ed.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1049/PBCE056E

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

Author

Hailperin, Theodore.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for An algebraic approach to non-classical logics

An algebraic approach to non-classical logics

An algebraic approach to non-classical logics

Author

Rasiowa, Helena.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Ordinal algebras

Ordinal algebras

Ordinal algebras

Author

Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11