Weiter zum Inhalt
This is the test environment.
The production environment is at
library.holycross.edu
This is the test environment.
The production environment is at
library.holycross.edu
This is the test environment.
The production environment is at
library.holycross.edu
This is the test environment.
The production environment is at
library.holycross.edu
Library Home
Start Over
Research Databases
E-Journals
Semesterapparat
Library Home
Login
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sprache
Library Catalog
Alle Felder
Titel
Verfasser
Schlagwort
Signatur
ISBN/ISSN
Suchen
Erweiterte Suche
|
Durchstöbern
|
Suchtipps
|
New Books Carousel
Constraints in Computational L...
Zitieren
SMS versenden
Als E-Mail versenden
Drucken
Datensatz exportieren
Exportieren nach RefWorks
Exportieren nach EndNoteWeb
Exportieren nach EndNote
Zu den Favoriten
Persistenter Link
Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / edited by Hubert Comon, Claude Marche, Ralf Treinen.
Gespeichert in:
Bibliographische Detailangaben
Körperschaft:
SpringerLink (Online service)
Weitere Verfasser:
Comon, Hubert
(HerausgeberIn)
,
Marche, Claude
(HerausgeberIn)
,
Treinen, Ralf
(HerausgeberIn)
Format:
E-Book
Sprache:
English
Veröffentlicht:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2001.
Ausgabe:
1st ed. 2001.
Schriftenreihe:
Lecture Notes in Computer Science,
2002
Springer eBook Collection.
Schlagworte:
Architecture, Computer.
Software engineering.
Mathematical logic.
Artificial intelligence.
Computer logic.
Computer programming.
Electronic resources (E-books)
Online Zugang:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Exemplare
Beschreibung
Inhaltsangabe
Internformat
Login für die Nachverfolgung von Bestellungen und Vormerkungen
Online
Click to view e-book
Online
Bestandesangaben von Online
Signatur:
E-Book
Status:
Verfügbar
Ähnliche Einträge
Constraints in Computational Logics First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
Veröffentlicht: (1994)
Logic of Computation
Veröffentlicht: (1997)
Computational Logic
Veröffentlicht: (1999)
Field Programmable Logic and Applications 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings
Veröffentlicht: (1999)
Logic for Applications
von: Nerode, Anil, et al.
Veröffentlicht: (1997)