登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Towards Mechanized Mathematical Assistants
EISBN：9783540730866
PISBN：9783540730835
出版社：Springer Berlin Heidelberg
出版类型：Proceedings
出版时间：2007
作者：Manuel Kauers,Manfred Kerber,Robert Miner,Wolfgang Windsteiger
主题词：Artificial Intelligence (incl. Robotics),Data Mining and Knowledge Discovery,Information Systems Applications (incl.Internet),Database Management,Computer Communication Networks,Mathematics,general
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Towards Mathematical Philosophy
  • 作者：David Makinson,Jacek Malinowski,Heinrich Wansing
  • EISBN：9781402090844
  • 出版社：Springer Netherlands
  • 出版时间：2009
...

A Quest Towards a Mathematical Theory of Living Systems
  • 作者：Nicola Bellomo,Abdelghani Bellouquid,Livio Gibelli,Nisrine Outada
  • EISBN：9783319574363
  • 出版社：Springer International Publishing
  • 出版时间：2017
...

Mathematical Advances Towards Sustainable Environmental Systems
  • 作者：James N. Furze,Kelly Swing,Anil K. Gupta,Richard H. McClatchey,Darren M. Reynolds
  • EISBN：9783319439013
  • 出版社：Springer International Publishing
  • 出版时间：2017
...

Personal Assistants: Emerging Computational Technologies
  • 作者：Angelo Costa,Vicente Julian,Paulo Novais
  • EISBN：9783319625300
  • 出版社：Springer International Publishing
  • 出版时间：2018
...

Interaction Modeling in Mechanized Tunneling
  • 作者：Günther Meschke,Rolf Breitenbücher,Steffen Freitag,Markus König,Markus Thewes
  • EISBN：9783031240669
  • 出版社：Springer Nature
  • 出版时间：2023
...

Mechanized Tunnelling in Urban Areas
  • 作者：Guglielmetti,Vittorio;Grasso,Piergiorgio;Mahtab,Ashraf;Xu,Shulin
  • EISBN：9780203938515
  • 出版社：Taylor & Francis Group
  • 出版时间：2007-11-22