Research Catalog

Logicheskie metody v kompʹi︠u︡ternykh naukakh : trudy nauchno-issledovatelʹskogo seminara po logike Instituta filosofii AN SSSR / [redkollegii︠a︡ V.A. Smirnov (otv. red.), I.A. Gerasimova, P.I. Bystrov].

Title
Logicheskie metody v kompʹi︠u︡ternykh naukakh : trudy nauchno-issledovatelʹskogo seminara po logike Instituta filosofii AN SSSR / [redkollegii︠a︡ V.A. Smirnov (otv. red.), I.A. Gerasimova, P.I. Bystrov].
Publication
Moskva : IFAN, 1991.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.M35 L68 1991Off-site

Details

Additional Authors
  • Smirnov, V. A. (Vladimir Aleksandrovich)
  • Institut filosofii (Akademii︠a︡ nauk SSSR)
Description
197 p.; 20 cm.
Alternative Title
Logical methods in computer sciences : proceedings of scientific seminar in logic of the Institute of Philosophy
Subject
  • Computer science > Mathematics > Congresses
  • Logic, Symbolic and mathematical > Congresses
Genre/Form
Conference papers and proceedings
Note
  • At head of title: Akademii︠a︡ nauk SSSR. Ordena Trudovogo Krasnogo Znameni Institut filosofii.
Bibliography (note)
  • Includes bibliographical references.
Processing Action (note)
  • committed to retain
ISBN
5201017622
OCLC
  • 36770051
  • SCSB-10018255
Owning Institutions
Harvard Library