Search Results for sémantique.

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:

+

Language: English

Author

Greimas, Algirdas Julien.

(2)

Fellbaum, Christiane.

(1)

Goguen, Joseph.

(1)

Haugeland, John, 1945-2010.

(1)

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

(1)

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

(1)

Maher, Michael, 1959-

(1)

Malcolm, Grant.

(1)

Pierce, Benjamin C.

(1)

Van Hentenryck, Pascal.

(1)

Warren, David S.

(1)

Winskel, G. (Glynn)

(1)

Publication Date

-

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

(4)

Logic programming -- Congresses.

(3)

(3)

programmation en logique.

(3)

Logische Programmierung.

(2)

Programming languages (Electronic computers) -- Semantics.

(2)

(2)

(2)

(2)

sémantique langage programmation.

(2)

(1)

Algebraïsche taalkunde.

(1)

Artificial intelligence.

(1)

(1)

Categories (Mathematics)

(1)

Computer science -- Mathematics.

(1)

(1)

(1)

(1)

English language -- Data processing.

(1)

FRANSIZ DİLİ -- ANLAMBİLİM.

(1)

Formale Semantik.

(1)

Fransız dili -- Anlambilim.

(1)

French language -- Semantics.

(1)

Funktionale Semantik.

(1)

(1)

(1)

(1)

Kunstmatige intelligentie.

(1)

Künstliche Intelligenz.

(1)

(1)

Lexicology -- Data processing.

(1)

Logic programming.

(1)

(1)

(1)

Programmeertalen.

(1)

Programmeren (computers)

(1)

Santa Margherita Ligure (1994)

(1)

Semantics -- Data processing.

(1)

(1)

(1)

(1)

architecture ordinateur.

(1)

base donnée lexicographique.

(1)

(1)

conception langage programmation.

(1)

(1)

(1)

(1)

(1)

intelligence artificielle.

(1)

langage programmation.

(1)

linguistique informatique.

(1)

logique ordre élevé.

(1)

modèle sémantique.

(1)

métaprogrammation.

(1)

(1)

(1)

programmation avec contrainte.

(1)

programmation parallèle.

(1)

programme impératif.

(1)

(1)

système formel.

(1)

sémantique algébrique.

(1)

sémantique dénotationnelle.

(1)

sémantique formelle.

(1)

sémantique opérationnelle.

(1)

(1)

théorie catégorie.

(1)

théorie domaine.

(1)

théorème Gödel.

(1)

équation récursive.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

10 Results Found

Subscribe to search results

1

0000000000DEFAULT

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 Semantique structurale, recherche de methode.

Semantique structurale, recherche de methode.

Semantique structurale, recherche de methode.

Author

Greimas, Algirdas Julien.

Preferred Shelf Number

PC 2585 G7 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Cover image for Semantique structurale, recherche de methode

Semantique structurale, recherche de methode

Semantique structurale, recherche de methode

Author

Greimas, Algirdas Julien.

Preferred Shelf Number

PC 2585 G7 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

Cover image for WordNet an electronic lexical database

WordNet an electronic lexical database

WordNet an electronic lexical database

Author

Fellbaum, Christiane.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Algebraic semantics of imperative programs

Algebraic semantics of imperative programs

Algebraic semantics of imperative programs

Author

Goguen, Joseph. Malcolm, Grant.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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:

6.

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:

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 The formal semantics of programming languages an introduction

The formal semantics of programming languages an introduction

The formal semantics of programming languages an introduction

Author

Winskel, G. (Glynn)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Basic category theory for computer scientists

Basic category theory for computer scientists

Basic category theory for computer scientists

Author

Pierce, Benjamin C.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Artificial intelligence the very idea

Artificial intelligence the very idea

Artificial intelligence the very idea

Author

Haugeland, John, 1945-2010.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11