Search Results for Logic programming.

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:

+

Material Type: Book

Author

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)

Language

(12)

Publication Date

-

(3)

(3)

(2)

(1)

(1)

(1)

(1)

Subject

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)

Shelf Location

Beytepe General Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

12 Results Found

Subscribe to search results

1

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 tools programming

Logic tools programming

Logic tools programming

Author

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

Preferred Shelf Number

QA 76.6 P325 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Cover image for Logic programming and databases

Logic programming and databases

Logic programming and databases

Author

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

Preferred Shelf Number

QA 76.63 C47 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

Cover image for Foundations of logic programming

Foundations of logic programming

Foundations of logic programming

Author

Lloyd, John Wylie, 1947-

Preferred Shelf Number

QA 76.6 L538 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

4.

Cover image for Systems programming in parallel logic languages

Systems programming in parallel logic languages

Systems programming in parallel logic languages

Author

Foster, Ian, 1959-

Preferred Shelf Number

QA 76.66 F67 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

Cover image for Foundations of equational logic programming

Foundations of equational logic programming

Foundations of equational logic programming

Author

Hölldobler, Steffen, 1957-

Preferred Shelf Number

QA 76.63 H65 1989

Format:

Availability

Beytepe Library~1

Available:
Copies:

6.

Cover image for Logic programming and knowledge engineering

Logic programming and knowledge engineering

Logic programming and knowledge engineering

Author

Amble, Tore, 1945-

Preferred Shelf Number

QA 76.6 A464 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

Cover image for Mathematical logic and programming languages

Mathematical logic and programming languages

Mathematical logic and programming languages

Author

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

Preferred Shelf Number

QA 9 M42 1985

Format:

Availability

Beytepe Library~1

Available:
Copies:

8.

Cover image for Analog/logic computer programming and simulation

Analog/logic computer programming and simulation

Analog/logic computer programming and simulation

Author

Ricci, Fred J.

Preferred Shelf Number

QA 76.4 R53 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

9.

Cover image for Computing with logic : logic programming with prolog

Computing with logic : logic programming with prolog

Computing with logic : logic programming with prolog

Author

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

Preferred Shelf Number

QA 76.73.P76 M349 1988

Format:

Availability

Beytepe Library~1

Available:
Copies:

10.

Cover image for 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

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

Author

Stark, W. Richard.

Preferred Shelf Number

QA 76.73.L23 S72 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

11.

Cover image for Interactive relational database design : a logic programming implementation

Interactive relational database design : a logic programming implementation

Interactive relational database design : a logic programming implementation

Author

Bagchi, Tapan P.

Preferred Shelf Number

QA 76.9.D26 B34 1989

Format:

Availability

Beytepe Library~1

Available:
Copies:

12.

Cover image for Discrete structures, logic, and computability

Discrete structures, logic, and computability

Discrete structures, logic, and computability

Author

Hein, James L.

Preferred Shelf Number

QA76.9.M35 H44 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

1

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11