تخطي إلى المحتوى
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
الحجز الأكاديمي
Library Home
تسجيل الدخول
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
हिंदी
Հայերէն
Українська
اللغة
Library Catalog
EBSCO Discovery Service
كل الحقول
العنوان
المؤلف
الموضوع
رقم الاستدعاء
ردمك/تدمد
ابحث
بحث متقدم
|
Browse
|
إرشادات حول معاملات البحث
|
New Books
Constraints in Computational L...
استشهد بهذا
أرسل هذا في رسالة قصيرة
أرسل هذا بالبريد الإلكتروني
طباعة
تصدير التسجيلة
تصدير إلى RefWorks
تصدير إلى EndNoteWeb
تصدير إلى EndNote
أضف إلى المفضلة
رابط دائم
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.
محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك:
SpringerLink (Online service)
مؤلفون آخرون:
Comon, Hubert
(المحرر)
,
Marche, Claude
(المحرر)
,
Treinen, Ralf
(المحرر)
التنسيق:
كتاب الكتروني
اللغة:
English
منشور في:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2001.
الطبعة:
1st ed. 2001.
سلاسل:
Lecture Notes in Computer Science,
2002
Springer eBook Collection.
الموضوعات:
Architecture, Computer.
Software engineering.
Mathematical logic.
Artificial intelligence.
Computer logic.
Computer programming.
Electronic resources (E-books)
الوصول للمادة أونلاين:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
المقتنيات
الوصف
جدول المحتويات
عرض للأخصائي
تسجيل الدخول لمعلومات الحجز والاستدعاء
الانترنت
Click to view e-book
Online
تفاصيل المقتنيات من Online
رقم الاستدعاء:
E-Book
Status:
متاح
مواد مشابهة
Constraints in Computational Logics First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
منشور في: (1994)
Logic of Computation
منشور في: (1997)
Computational Logic
منشور في: (1999)
Field Programmable Logic and Applications 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings
منشور في: (1999)
Logic for Applications
حسب: Nerode, Anil, وآخرون
منشور في: (1997)