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:

+

Material Type: E-Book

+

Subject: Logic programming.

Author

Aït-Kaci, Hassan, 1954-

(1)

Bergadano, Francesco, 1963-

(1)

Deransart, Pierre.

(1)

(1)

Gunetti, Daniele.

(1)

Hitzler, Pascal.

(1)

Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany)

(1)

(1)

Maher, Michael, 1959-

(1)

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

(1)

Metakides, George, 1945-

(1)

Nerode, Anil, 1932-

(1)

(1)

Sinachopoulos, A. (Aneta)

(1)

Language

(8)

Publication Date

-

(3)

(1)

(1)

(1)

(1)

(1)

Subject

programmation en logique.

(5)

Logisch programmeren.

(4)

(1)

(1)

Computer arithmetic.

(1)

Computers (Software)

(1)

Electronic books.

(1)

Electronic digital computers.

(1)

Implementierung.

(1)

(1)

Logic programming -- Congresses.

(1)

Logic, Symbolic and mathematical.

(1)

Logische Programmierung.

(1)

PROLOG (Programmiersprache)

(1)

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

Prolog (Computer program language)

(1)

Resolventenprinzip.

(1)

Ries, Adam. Coss.

(1)

(1)

(1)

Wiskundige logica.

(1)

(1)

apprentissage machine.

(1)

calcul propositionnel.

(1)

calculabilité.

(1)

(1)

grammaire attribuée.

(1)

(1)

logique 1er ordre.

(1)

(1)

machine Warren.

(1)

(1)

(1)

programmation avec contrainte.

(1)

résolution linéaire.

(1)

(1)

théorie définissabilité.

(1)

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

8 Results Found

Subscribe to search results

1

00000000DEFAULT

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 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:

2.

Cover image for Mathematical aspects of logic programming semantics

Mathematical aspects of logic programming semantics

Mathematical aspects of logic programming semantics

Author

Hitzler, Pascal. Seda, Anthony.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Arithmetic and logic in computer systems

Arithmetic and logic in computer systems

Arithmetic and logic in computer systems

Author

Lu, Mi.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Full text available from Wiley InterScience
Authentication may be required
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Principles of logic and logic programming

Principles of logic and logic programming

Principles of logic and logic programming

Author

Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for From logic to logic programming

From logic to logic programming

From logic to logic programming

Author

Doets, Kees.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Inductive logic programming from machine learning to software engineering

Inductive logic programming from machine learning to software engineering

Inductive logic programming from machine learning to software engineering

Author

Bergadano, Francesco, 1963- Gunetti, Daniele.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Author

Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Warren's abstract machine a tutorial reconstruction

Warren's abstract machine a tutorial reconstruction

Warren's abstract machine a tutorial reconstruction

Author

Aït-Kaci, Hassan, 1954-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11