Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13 15, 1994 : proceedings

This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994. The volume reports the research advances in the area o...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন

সংস্থা লেখক:	International Workshop on Conditional and Typed Rewriting Systems :Jerusalem
অন্যান্য লেখক:	Dershowitz, Nachum, 1951- (Publishing director), Lindenstrauss, Naomi (Publishing director)
বিন্যাস:	Livre numérique
ভাষা:	Anglais
প্রকাশিত:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
মালা:	Lecture notes in computer science 968
বিষয়গুলি:	Informatique Algorithmes Systèmes de réécriture (informatique) Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Actes de congrès
অনলাইন ব্যবহার করুন:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
টীকা:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Conditional and typed rewriting systems, 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994, proceedings, Nachum Dershowitz, Naomi Lindenstrauss (eds.), Berlin, Springer, 1995, 1 vol. (VIII-373 p.), Lecture notes in computer science, 3-540-60381-6 • Conditional and Typed Rewriting Systems, Texte imprimé, 9783662163610