Search Results for logique.

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:

+

Subject: programmation en logique.

Author

Apt, Krzysztof R., 1949-

(1)

Aït-Kaci, Hassan, 1954-

(1)

Bakker, J. W. de (Jacobus Willem), 1939-

(1)

Bergadano, Francesco, 1963-

(1)

Deransart, Pierre.

(1)

(1)

Gunetti, Daniele.

(1)

International Conference on Logic Programming (10th : 1993 : Budapest, Hungary)

(1)

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

(1)

Lifschitz, Vladimir.

(1)

Maher, Michael, 1959-

(1)

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

(1)

McCarthy, John, 1927-2011.

(1)

Rutten, J. J. M. M.

(1)

Shapiro, Ehud Y.

(1)

Sterling, Leon.

(1)

Van Hentenryck, Pascal.

(1)

Warren, David S.

(1)

Language

(11)

Publication Date

-

(3)

(2)

(2)

(2)

(1)

(1)

Subject

Logic programming.

(5)

Logisch programmeren.

(5)

Logic programming -- Congresses.

(4)

Logische Programmierung.

(4)

(4)

(3)

(3)

(3)

(3)

(2)

PROLOG (Programmiersprache)

(2)

Prolog (Computer program language)

(2)

(2)

(2)

programmation avec contrainte.

(2)

Artificial intelligence.

(1)

Aufsatzsammlung.

(1)

(1)

(1)

Computer programming.

(1)

Computeralgebra.

(1)

Computers (Software)

(1)

(1)

Debugging in computer science.

(1)

(1)

Electronic digital computers.

(1)

Implementierung.

(1)

(1)

Künstliche Intelligenz.

(1)

(1)

Logic programming languages.

(1)

McCarthy, John A. (Philologe)

(1)

McCarthy, John, 1927-2011.

(1)

Numerical calculations.

(1)

Programmiersprache.

(1)

Programmierung.

(1)

Resolventenprinzip.

(1)

Ries, Adam. Coss.

(1)

Santa Margherita Ligure (1994)

(1)

(1)

(1)

(1)

Wiskundige logica.

(1)

apprentissage machine.

(1)

calcul numérique.

(1)

calcul propositionnel.

(1)

calculabilité.

(1)

(1)

(1)

développement logiciel.

(1)

grammaire attribuée.

(1)

(1)

(1)

intelligence artificielle.

(1)

logique 1er ordre.

(1)

logique ordre élevé.

(1)

(1)

machine Warren.

(1)

métaprogrammation.

(1)

(1)

programmation fonctionnelle.

(1)

programmation par objets.

(1)

(1)

raisonnement non monotone.

(1)

(1)

résolution linéaire.

(1)

synthèse programme.

(1)

(1)

théorie définissabilité.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

11 Results Found

Subscribe to search results

1

00000000000DEFAULT

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

2.

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:

3.

Cover image for Logic programming proceedings of the twelfth International Conference on Logic Programming

Logic programming proceedings of the twelfth International Conference on Logic Programming

Logic programming proceedings of the twelfth International Conference on Logic Programming

Author

Sterling, Leon.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

Cover image for Logic programming proceedings of the eleventh International Conference on Logic Programming

Logic programming proceedings of the eleventh International Conference on Logic Programming

Logic programming proceedings of the eleventh International Conference on Logic Programming

Author

Van Hentenryck, Pascal.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Logic programming languages constraints, functions, and objects

Logic programming languages constraints, functions, and objects

Logic programming languages constraints, functions, and objects

Author

Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Logic programming proceedings of the Tenth International Conference on Logic Programming

Logic programming proceedings of the Tenth International Conference on Logic Programming

Logic programming proceedings of the Tenth International Conference on Logic Programming

Author

International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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:

9.

Cover image for Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

Author

McCarthy, John, 1927-2011. Lifschitz, Vladimir.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

Cover image for Algorithmic program debugging

Algorithmic program debugging

Algorithmic program debugging

Author

Shapiro, Ehud Y.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11