Jump to main content

yr 〜
yr

Search results 3

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy, ed. (Lecture notes in computer science ; 814. Lecture notes in artificial intelligence)

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy, ed. (Lecture notes in computer science ; 814. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1994.<M15-A9229>
National Diet Library
  • LCCQA76.9.D337

The representation and storage of information . Using the OPUS computer I and II

The representation and storage of information . Using the OPUS computer I and II
Paper図書
prepared by the [Digital Computer] Course Team in consultation with I.H. Witten . prepared by the Course TeamOpen University Press1976, c1975
Other Libraries in Japan
  • LCCQA76.9.D337

Rationelle Datenerfassung : maschinenlesbare Datenträger als Organisationsmittel f.d. Datenerfassung

Rationelle Datenerfassung : maschinenlesbare Datenträger als Organisationsmittel f.d. Datenerfassung
Paper図書
von Sven Hellfors u. Dieter SteinkeE. Schmidt1975
Other Libraries in Japan
  • LCCQA76.9.D337

Reached to the end of result.

RSS