Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • International Conference on Au...
  • Bestand

Treffer: International Conference on Automated Deduction

Titel:
International Conference on Automated Deduction / 8. Internat. Conf. on Automated Deduction, Oxford, England, July 27 - Aug. 1, 1986, Proceedings. Ed. by Jörg H. Siekmann
Beteiligt:
Siekmann, Jörg (Hrsg.)
Körper­schaft:
International Conference on Automated Deduction (8, 1986, Oxford)
Veröffent­licht:
Berlin : Springer, 1986
Umfang:
IX, 708 S.
Format:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science ; 230
RVK-Notation:
SS 4000
ISBN:
3540167803

Zusatz-Informationen

Zusatz-Funktionen