Pular para o conteúdo
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
Bibliografia Recomendada
Library Home
Entrar
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
हिंदी
Հայերէն
Українська
Idioma
Library Catalog
Todos os campos
Título
Autor
Assunto
Número de Chamada
ISBN/ISSN
Buscar
Busca Avançada
|
Navegar
|
Dicas de Busca
|
New Books Carousel
Constraints in Computational L...
Citar
Enviar por SMS
Enviar por e-mail
Imprimir
Exportar registro
Exportar para RefWorks
Exportar para EndNoteWeb
Exportar para EndNote
Salvar na lista
Link permanente
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.
Na minha lista:
Detalhes bibliográficos
Autor Corporativo:
SpringerLink (Online service)
Outros Autores:
Comon, Hubert
(Editor)
,
Marche, Claude
(Editor)
,
Treinen, Ralf
(Editor)
Formato:
livro eletrônico
Idioma:
English
Publicado em:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2001.
Edição:
1st ed. 2001.
coleção:
Lecture Notes in Computer Science,
2002
Springer eBook Collection.
Assuntos:
Architecture, Computer.
Software engineering.
Mathematical logic.
Artificial intelligence.
Computer logic.
Computer programming.
Electronic resources (E-books)
Acesso em linha:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Itens
Descrição
Sumário
Registro fonte
Entrar para informação da reserva e levantamento
Internet
Click to view e-book
Online
Detalhes do Exemplar Online
Número de Chamada:
E-Book
Status:
Disponível
Registros relacionados
Constraints in Computational Logics First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
Publicado em: (1994)
Logic of Computation
Publicado em: (1997)
Computational Logic
Publicado em: (1999)
Field Programmable Logic and Applications 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings
Publicado em: (1999)
Logic for Applications
por: Nerode, Anil, et al.
Publicado em: (1997)