Showing 41 - 60 results of 135,230 for search 'SpringerLink (Online service)', query time: 0.82s Refine Results
  1. 41
    Foundations of knowledge representation and reasoning /
    Published 1994
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  2. 42
    Knowledge representation and reasoning under uncertainty : logic at work /
    Published 1994
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  3. 43
    Isabelle : a generic theorem prover /
    by Paulson, Lawrence C.
    Published 1994
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  4. 44
    Turing machines with sublogarithmic space /
    by Szepietowski, Andrzej
    Published 1994
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  5. 45
    The traveling salesman : computational solutions for TSP applications /
    by Reinelt, G. (Gerhard)
    Published 1994
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  6. 46
    Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
    Published 1994
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  7. 47
    Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /
    Published 1994
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  8. 48
    Numerical integration on advanced computer systems /
    by Krommer, Arnold R.
    Published 1994
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  9. 49
    Distributed programming paradigms with cryptography applications /
    by Greenfield, Jonathan S., 1968-
    Published 1994
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  10. 50
    Parallel, distributed, and multiagent production systems /
    by Ishida, Toru
    Published 1994
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  11. 51
    Formal development of reactive systems : case study production cell /
    Published 1995
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  12. 52
    Towards a CSCW framework for scientific cooperation in Europe /
    by Lubich, Hannes P.
    Published 1995
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  13. 53
    Analysis of dynamical and cognitive systems : advanced course, Stockholm, Sweden, August 9-14, 1993 : proceedings /
    Published 1995
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  14. 54
    Closed object boundaries from scattered points /
    by Veltkamp, Remco C., 1963-
    Published 1994
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  15. 55
    Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings /
    Published 1994
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  16. 56
    Constraint processing : selected papers /
    Published 1995
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  17. 57
    Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism /
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  18. 58
    Evolution and biocomputation : computational models of evolution /
    Published 1995
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  19. 59
    Algorithmic learning for knowledge-based systems : GOSLER final report /
    Published 1995
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
  20. 60
    Efficient graph rewriting and its implementation /
    by Dörr, Heiko, 1962-
    Published 1995
    “...SpringerLink (Online service)...”
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search