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

Goal-Directed Proof Theory
EISBN：9789401717137
PISBN：9789048155262
出版社：Springer Netherlands
出版类型：Contributed volume
出版时间：2000
作者：Dov M. Gabbay,Nicola Olivetti
主题词：Logic,Programming Languages,Compilers,Interpreters
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Applied Logic Series
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Goal-Directed Proof Theory
  • 作者：Dov M. Gabbay,N. Olivetti
  • EISBN：9789401717137
  • 出版社：Springer Netherlands
  • 出版时间：2000
...

Goal-Directed Decision Making
  • 作者：Morris,Richard
  • PISBN：9780128120989
  • 出版时间：2018
...

THE NEURAL AND BEHAVIOURAL ORGANIZATION OF GOAL-DIRECTED MOVEMENTS
  • PISBN：0198521170
  • 出版社：CLARENDON PRESS
...

From Attention to Goal-Directed Behavior
  • 作者：Francisco Aboitiz,Diego Cosmelli
  • EISBN：9783540705734
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2009
...

Neural Mechanisms of Goal-directed Behavior and Learning
  • 作者：Thompson,Richard
  • PISBN：9780126889802
  • 出版时间：Legacy
...

VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search
  • 作者：Simone Frintrop
  • EISBN：9783540327608
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2006