Search Results for Logic.

1.

Introduction to logic

Yazar

Suppes, Patrick Colonel, 1922-

Yer Numarası

BC 108 S85 1957

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

2.

Logic tools programming

Yazar

Pace, Philip, 1956- Pace, L., ort. yaz.

Yer Numarası

QA 76.6 P325 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3.

Temporal logic of programs

Yazar

Kröger, Fred, 1945-

Yer Numarası

QA 76.6 K753 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

4.

Foundations of logic programming

Yazar

Lloyd, John Wylie, 1947-

Yer Numarası

QA 76.6 L538 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

5.

Logic : the theory of formal inference

Yazar

Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.

Yer Numarası

BC 108 A55 1972

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

6.

Studies in inductive logic and probability

Yazar

Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.

Yer Numarası

QA 273.4 C37 1971-

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

7.

Logic programming and knowledge engineering

Yazar

Amble, Tore, 1945-

Yer Numarası

QA 76.6 A464 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

8.

Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985

Yazar

Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Microprocessors and programmed logic : solutions manualto even numbered problems

Yazar

Short, Kenneth L.

Yer Numarası

QA 76.5 S496 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

10.

Metaphor its cognitive force and linguistic structure

Yazar

Kittay, Eva Feder.

Yer Numarası

ONLINE

Elektronik Erişim

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198242468.001.0001

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Cylindric algebras

Yazar

Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.

Yer Numarası

QA 9 H415 1971- V.1

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

12.

İslam mantık tarihi ve Farabi mantığı

Yazar

Keklik, Nihat.

Yer Numarası

BC 34 K4 1969-70

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

	{displayName}	{count}
{error}