Logic and computation : proceedings of a workshop held at Carnegie Mellon University June 30-July 2

出版社:Providence, R.I. : American Mathematical Society, c1990.
ISBN:0821851101
出版年:1990
作者:Workshop on Logic and Computation
资源类型:图书
细分类型:西文文献
相关推荐

Active networks : First International Workshop, IWAN''99, Berlin, Germany, June 30-July 2, 1999 : pro

  • 作者:Stefan Covaci
  • ISBN:3540662383
  • 出版社:Berlin ; New York : Springer, 1999.
  • 出版年:1999

Proceedings of the 1976 computer interface Instrumentation Symposium, June 30-July 2, 1976.

  • 作者:Instrument Society of America
  • 出版社:Newark : Pittshurgh, Pa., c1976.
  • 出版年:1976

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

  • 作者:Clarke,Edmund.
  • ISBN:0387128964
  • 出版社:Berlin ; New York : Springer-Verlag, 1984.
  • 出版年:1984

Logics of programs : workshop, Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

  • 作者:Clarke,Edmund
  • ISBN:Y8.50
  • 出版社:Berlin : Springer, 1984
  • 出版年:1984

Logics of programs : workshop, Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

  • 作者:Clarke,Edmund
  • 出版社:Berlin : Springer, 1984
  • 出版年:1984

Future directions in polymer colloids : proceedings of a ... June 30-July 4, 1986

  • 作者:NATO Advanced Research Workshop on Future Directions in Polymer Colloids
  • ISBN:9024736250
  • 出版社:Dordrecht : Martinus Nijhoff Pub., 1987.
  • 出版年:1987