CSL'' 88 : 2nd Workshop on Computer Science Logic Duisburg FRG Oct. 3-7 1988 : proceedings

出版社:Berlin : Springer, c1989
ISBN:354051659X 170.86
出版年:1989
作者:Borger,E.
资源类型:图书
细分类型:西文文献
相关推荐

CSL'' 88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, Oct. 3-7, 1988 : proceedings

  • 作者:Borger,E.
  • ISBN:354051659X
  • 出版社:Berlin : Springer, c1989
  • 出版年:1989

CSL ''88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

  • 作者:B鑟rger,E.
  • ISBN:038751659X
  • 出版社:Berlin ; New York : Springer-Verlag, c1989.
  • 出版年:1989

CSL ''89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedin

  • 作者:Brger,E.
  • ISBN:3540527532
  • 出版社:Berlin ; New York : Springer-Verlag, c1990.
  • 出版年:1990

CSL ''87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings

  • 作者:BOrger,E.
  • ISBN:0387502416
  • 出版社:Berlin ; New York : Springer-Verlag, c1988.
  • 出版年:1988

Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings

  • 作者:Reinfrank,M.
  • ISBN:0387507019
  • 出版社:Berlin ; New York : Springer-Verlag, c1989.
  • 出版年:1989

Proceedings of the 2nd International Symposium on CAMAC in Computer Applications, Brussels, Oct. 14

  • 作者:International Symposium on CAMAC in Computer Applications
  • 出版社:Luxemburg : Commission of the European Communities