Search Results for Logic programming.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Kütüphane: Beytepe Kütüphanesi

Yazar

Amble, Tore, 1945-

(1)

Bagchi, Tapan P.

(1)

Ceri, Stefano, 1955-

(1)

Foster, Ian, 1959-

(1)

Gottlob, G., ort. yaz.

(1)

(1)

Hoare, C. A. R., ed.

(1)

Hölldobler, Steffen, 1957-

(1)

Lloyd, John Wylie, 1947-

(1)

Maier, David, 1953-

(1)

Pace, L., ort. yaz.

(1)

Pace, Philip, 1956-

(1)

(1)

Shepherdson, J. C., ed.

(1)

Stark, W. Richard.

(1)

Tanca, L., ort. yaz.

(1)

Warren, D. S., ort. yaz.

(1)

Tümünü genişlet

Dil

(12)

Yayın Yılı

-

(3)

(3)

(2)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

MANTIKSAL PROGRAMLAMA.

(6)

PROGRAMLAMA DİLİ (ELEKTRONİK BİLGİSAYAR)

(2)

Computable functions.

(1)

Computer science -- Mathematics.

(1)

Data structures (Computer science)

(1)

ELEKTROMEKANİK ÖRNEKSEME.

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR -- PROGRAMLAMA.

(1)

ELEKTRONİK ÖRNEKSEL BİLGİSAYAR -- PROGRAMLAMA.

(1)

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

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical.

(1)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(1)

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

(1)

SİSTEM PROGRAMLAMA (BİLGİSAYAR BİLİMİ)

(1)

UZMAN SİSTEMLER (BİLGİSAYAR BİLİMİ)

(1)

VERİ TABANI TASARIMI.

(1)

VERİ TABANI YÖNETİMİ.

(1)

ÇOKLU İŞLEM (ELEKTRONİK BİLGİSAYARLAR)

(1)

İLİŞKİSEL VERİ TABANLARI.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

12 sonuç bulundu

Arama sonuçlarına abone ol

1

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Logic tools programming için kapak resmi

Logic tools programming

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:

2.

Logic programming and databases için kapak resmi

Logic programming and databases

Logic programming and databases

Yazar

Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.

Yer Numarası

QA 76.63 C47 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3.

Foundations of logic programming için kapak resmi

Foundations of logic programming

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:

4.

Systems programming in parallel logic languages için kapak resmi

Systems programming in parallel logic languages

Systems programming in parallel logic languages

Yazar

Foster, Ian, 1959-

Yer Numarası

QA 76.66 F67 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

5.

Foundations of equational logic programming için kapak resmi

Foundations of equational logic programming

Foundations of equational logic programming

Yazar

Hölldobler, Steffen, 1957-

Yer Numarası

QA 76.63 H65 1989

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

6.

Logic programming and knowledge engineering için kapak resmi

Logic programming and knowledge engineering

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:

7.

Mathematical logic and programming languages için kapak resmi

Mathematical logic and programming languages

Mathematical logic and programming languages

Yazar

Hoare, C. A. R., ed. Shepherdson, J. C., ed.

Yer Numarası

QA 9 M42 1985

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

8.

Analog/logic computer programming and simulation için kapak resmi

Analog/logic computer programming and simulation

Analog/logic computer programming and simulation

Yazar

Ricci, Fred J.

Yer Numarası

QA 76.4 R53 1973

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

9.

Computing with logic : logic programming with prolog için kapak resmi

Computing with logic : logic programming with prolog

Computing with logic : logic programming with prolog

Yazar

Maier, David, 1953- Warren, D. S., ort. yaz.

Yer Numarası

QA 76.73.P76 M349 1988

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

10.

LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications için kapak resmi

LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications

LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications

Yazar

Stark, W. Richard.

Yer Numarası

QA 76.73.L23 S72 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

11.

Interactive relational database design : a logic programming implementation için kapak resmi

Interactive relational database design : a logic programming implementation

Interactive relational database design : a logic programming implementation

Yazar

Bagchi, Tapan P.

Yer Numarası

QA 76.9.D26 B34 1989

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

12.

Discrete structures, logic, and computability için kapak resmi

Discrete structures, logic, and computability

Discrete structures, logic, and computability

Yazar

Hein, James L.

Yer Numarası

QA76.9.M35 H44 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

1

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11