Ga door naar de inhoud
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
College reserveringen
Library Home
Aanmelden
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
हिंदी
Հայերէն
Українська
Taal
Library Catalog
Alle velden
Titel
Auteur
Onderwerp
Plaatsingsnummer
ISBN/ISSN
Zoek
Uitgebreid zoeken
|
Bladeren
|
Zoektips
|
New Books Carousel
Constraints in Computational L...
Citeren
SMS dit
Versturen
Afdrukken
Exporteer Record
Exporteer naar RefWorks
Exporteer naar EndNoteWeb
Exporteer naar EndNote
Toevoegen aan favorieten
Permalink
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.
Bewaard in:
Bibliografische gegevens
Coauteur:
SpringerLink (Online service)
Andere auteurs:
Comon, Hubert
(Redacteur)
,
Marche, Claude
(Redacteur)
,
Treinen, Ralf
(Redacteur)
Formaat:
E-boek
Taal:
English
Gepubliceerd in:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2001.
Editie:
1st ed. 2001.
Reeks:
Lecture Notes in Computer Science,
2002
Springer eBook Collection.
Onderwerpen:
Architecture, Computer.
Software engineering.
Mathematical logic.
Artificial intelligence.
Computer logic.
Computer programming.
Electronic resources (E-books)
Online toegang:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Exemplaren
Omschrijving
Inhoudsopgave
Personeel
Aanmelden Informatie over reserveringen
Internet
Click to view e-book
Online
Exemplaargegevens van Online
Plaatsingsnummer:
E-Book
Status:
Beschikbaar
Gelijkaardige items
Constraints in Computational Logics First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
Gepubliceerd in: (1994)
Logic of Computation
Gepubliceerd in: (1997)
Computational Logic
Gepubliceerd in: (1999)
Field Programmable Logic and Applications 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings
Gepubliceerd in: (1999)
Logic for Applications
door: Nerode, Anil, et al.
Gepubliceerd in: (1997)