عنوان

Temporal Logic :

پدید آورنده

edited by Dov M. Gabbay, Hans Jürgen Ohlbach.

موضوع

Computer science.,Database management.,Logic design.

رده

QA76
.
6

E358

1994

کتابخانه

کتابخانه مطالعات اسلامی به زبان های اروپایی

محل استقرار

استان: قم ـ شهر: قم

تماس با کتابخانه : 32910706-025

3540485856

9783540485858

b566309

Temporal Logic :

[Book]

First International Conference, ICTL'94 Bonn, Germany, July 11-14, 1994 Proceedings

edited by Dov M. Gabbay, Hans Jürgen Ohlbach.

Berlin, Heidelberg

Springer-Verlag : Springer e-books

1994

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 827

L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.

Computer science.

Database management.

Logic design.

QA76

E358

1994

edited by Dov M. Gabbay, Hans Jürgen Ohlbach.

Dov M Gabbay

Hans Jürgen Ohlbach

[Book]

عنوان Temporal Logic :

پدید آورنده edited by Dov M. Gabbay, Hans Jürgen Ohlbach.

موضوع Computer science.,Database management.,Logic design.

رده QA76.6 E358 1994

کتابخانه کتابخانه مطالعات اسلامی به زبان های اروپایی