ALGEBRAS, THEORIES AND FREENESS: AN INTRODUTION FOR COMPUTER SCIENTISTS

ALGEBRAS, THEORIES AND FREENESS: AN INTRODUTION FOR COMPUTER SCIENTISTS

Author(s):

Publication title:

Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare

Title of ser.:

NATO ASI series. Series C, Mathematical and physical sciences

Ser. no.:

91

Pub. Year:

1982

Page(from):

329

Page(to):

349

Pages:

21

Pub. info.:

Dordrecht, Holland: D. Reidel

ISSN:

02582023

ISBN:

9789027714602 [9027714606]

Language:

English

Call no.:

N11480/91

Type:

Conference Proceedings

Details

TDL ID:	ZA00019100
Series ID:	PA00000016
Conf. info. (Name):	Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology
Conf. info. (Number):	1981
Conf. info. (Venue):	Munich
Conf. info. (Date):	1981.00.00

Similar Items:

1 Conference Proceedings Notes on an Approach to Category Theory for Computer Scientists Hoare R. A. C. Springer-Verlag	7 Conference Proceedings NGST's Scientist's Expert Assistant:evaluation results Koratkar,A., Burkhardt,C., Fishman,M., Grosvenor,S., Jones,J.E., Lucas,R.A., Ruley,L., Wolf,K.R. SPIE - The International Society for Optical Engineering
2 Conference Proceedings Report of discussions by the computer scientists Raper F. J. Kluwer Academic Publishers	8 Conference Proceedings Lessons learned from the Scientist's Expert Assistant project Jones,J.E., Burkhardt,C., Fishman,M., Grosvenor,S., Koratkar,A., Ruley,L., Wolf,K.R. SPIE - The International Society for Optical Engineering
3 Conference Proceedings Melting: Theories and Recent Computer Simulations Cotterill M. R., Jensen J. E., Kristensen D. W. Noordhoff International Publishing	9 Conference Proceedings Autonomous Robotic Scientist M. Woods, R. Ward, E. Honary ESA Communication Production Office
4 Conference Proceedings COMPUTER SIMULATION OF FREE-SURFACES IN CLOSE-PACKED STRUCTURES Fernandez, J. R., Monti, A. M., Pasianot, R. C. MRS - Materials Research Society	10 Conference Proceedings A Problem in Group Theory solved by Computer Algebra Pfister, Gerhard Kluwer Academic Publishers
5 Conference Proceedings Idealization of Modules in Computer Algebra Kreuzer M, Robbiano L IOS Press	11 Conference Proceedings Using computer algebra for Yang-Baxterization applied to quantum computing [6244-41] Velez M., Ospina J. SPIE - The International Society of Optical Engineering
6 Conference Proceedings Invariant theory of algebra representations Domokos, M. Kluwer Academic Publishers	12 Conference Proceedings New Algebraic Canonical Structures of Integrability in 2-D Field Theories Maillet M. J. Plenum Press

1

2

3

4

5

6

7

8

9

10

11

12