Magma algebra system I. User language

Main
Mathematics - Computer Algebra
Magma algebra system I. User language

Magma algebra system I. User language

Bosma et al.

0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

Mathematics - Computer Algebra

წელი:

1997

ენა:

english

გვერდები:

31

სერია:

JSC

ფაილი:

DJVU, 227 KB

IPFS:

,

english, 1997

ონლაინ წაკითხვა

ჩატვირთვა (djvu, 227 KB)

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

Burnikel et al. — A strong computable separation bound for arithmetic expressions with radicals

Smith. — Symbolic derivatives without recursion

Fickas. — Design issues in rule-based systems

Blankinship. — Algorithm 288, Solution of linear Diophantine systems

Cherry. — Integration in finite terms with error function

Champarnaud, Duchamp. — Derivatives of rational expressions and related theorems

Kazimierczak. — Approach to natural language processing using rules

Mulders, Storjohann. — Solving linear diophantine systems

E. W. Dijkstra — A Primer of Algol 60 Programming

D. E. Rydeheard, Burstall — Computational Category Theory (Prentice-Hall International Series in Computer Science)

The Univalent Foundations Program — Homotopy Type Theory: Univalent Foundations of Mathematics

Team digit — Fast Track to C++

David Matuszek — Quick JavaScript

Kramer-Hitchon — Semiconductor devices A simulation approach

Robert L. Knighten — Notes on Category Theory

Knighten R.L — Notes on Category Theory

Jed Marti et al. — The Standard Lisp Report

F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner (auth.) — The Munich Project CIP

Nikolaos S. Papaspyrou — A Formal Semantics for the C Programming Language

D. E. Rydeheard, R.M. Burstall — Computational category theory

D E Rydeheard R M Burstall — Computational Category Theory

JAMES L.RICHARDS, James L. Richards — INSTRUCTOR'S MANUAL FOR PASCAL

D. E. Rydeheard, Burstall — Computational category theory

Jim Holmes — Object-Oriented Compiler Construction

Abramsky S., Gabbay D.M., Maibaum T.S. E. (eds.) — Handbook of logic in computer science, vol.1: Background. Mathematical structures

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

I. R. Wilson, A. M. Addyman (auth.) — A Practical Introduction to Pascal

Tim Denvir (auth.) — Introduction to Discrete Mathematics for Software Engineering

G. Manes — GTM026.Algebraic Theories

Bristol, Eng., 1973. Logic Colloquium — Logic Colloquium '73

Jonathan D. H. Smith, Anna B. Romanowska — Post-Modern Algebra

F. William Lawvere, Robert Rosebrugh — Sets for Mathematics

F. William Lawvere, Robert Rosebrugh — Sets for Mathematics

Rose H.E., Shepherdson J.C. (ed.) — Logic Colloquium '73: Proceedings Bristol, 1973

David Matuszek — Quick JavaScript

David Matuszek — Quick JavaScript

David Matuszek — Quick JavaScript

Cyrus F. Nourani — A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos

Manes, Ernest G — Algebraic theories

Rishiyur Nikhil, Arvind — Implicit Parallel Programming in pH

K. Jensen, N. Wirth — PASCAL user manual and report

F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner (auth.) — The Munich Project CIP

საკვანძო ფრაზები