There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 21

Record: found
Abstract: not found
Article: not found

Specification techniques for data abstractions

Stephen N. Zilles, Barbara H. Liskov (1975)

0 comments Cited 21 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Abstract data types and the development of data structures

John V. Guttag (1977)

0 comments Cited 16 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

Problem Solving Methods in Artificial Intelligence

NJ Nilsson, N. -O. Nilsson, Nils Nilsson … (1971)

0 comments Cited 11 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1978

Pages: 7-30

DOI: 10.1007/978-3-642-67053-4_2

SO-VID: 8f5dc716-e34d-49e8-afb2-00fb8897cb66

History

Data availability:

Modellierung

Read this book at

Related collections

ScienceOpen Research

Most cited references 21

Specification techniques for data abstractions

Abstract data types and the development of data structures

Problem Solving Methods in Artificial Intelligence

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 13