IMSc Library catalog › Details for: Tenth International Conference on Automated Deduction

Normal view MARC view ISBD view

Tenth International Conference on Automated Deduction Proceedings, Kaiserslautern, FRG, 1990

By: Stickel, M E. EdMaterial type: Text

TextSeries: Lecture notes in artificial intelligence ; 00449Publication details: Berlin ; Springer Verlag ; 1990Description: 688ISBN: 3540528857Subject(s): Automated deduction

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		34689

Previous								Next
Previous	681 LNCS Algorithms	681 LNCS Artificial Intelligence in Higher Education, CEPES-UNESCO International Symposium, Prague, Oct. 1989	681 LNCS Knowledge based Computer Systems	681 LNCS Tenth International Conference on Automated Deduction	681 LNCS Current Trends in SNePS - Semantic Network Processing System	681 LNCS Advances in Cryptology - EUROCRYPT '89	681 LNCS Advanced Information Systems Engineering	Next

There are no comments on this title.

to post a comment.