Nettbokhandelen for kjøp og salg av bøker.

Kom i gang

Lær å selge
Lær å kjøpe brukt
Kjøp pensumbøker
Logg inn eller registrer deg
Kjøp et gavekort
For forfattere

Kundeservice

Hjelp
Spor ordre
Brukervilkår
Personvernregler
Informasjonskapsler

Bookis

Om oss
Jobb hos oss!
Gi tilbakemelding
Sjangere

Kontakt oss

Rask levering med

Trygg betaling med

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

Norsk

Algebraic simplification in the PROVER system

Pocket • 1982 • Engelsk

Algebraic simplification in the PROVER system

Av Rolf Nossum

0 vurderinger • 0.0 av 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

Om boken

Om boken

ISBN

9788290230642

Forlag

Oslo : [Universitetet i Oslo, Inst.for informatikk]

Publiseringsår

1982

Språk

Engelsk

Originaltittel

Algebraic simplification in the PROVER system

Format

Pocket

Frakt og retur

Frakt

Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.

Returer

Kontakt selgeren etter levering.

Omtaler · 0

0 vurderinger • 0.0 av 5

Du vil kanskje også like

Algebra II Workbook For Dummies

Algebra II Workbook For Dummies

Mary Jane Sterling

Mathematical methods 1

Mathematical methods 1

PEARSON MAGGIE

Elementary Linear Algebra (Applications version)

Elementary Linear Algebra (Applications version)

Howard Anton

Kompendium MET1 Matematikk for økonomer

Kompendium MET1 Matematikk for økonomer

Per Manne

We Reason & We Prove for ALL Mathematics

We Reason & We Prove for ALL Mathematics

Fran Arbaugh

The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

Tamara J. Lakins

Kompendium

Kompendium

Didrik Fosse

Kompendium TMA4105 Matematikk 2

Kompendium TMA4105 Matematikk 2

Kompendium-Komitéen NTNU

Mathematical Proofs: A Transition to Advanced Mathematichs

Mathematical Proofs: A Transition to Advanced Mathematichs

Chartrand Polimeni zhanh

Discrete Mathematics

Discrete Mathematics

Richard Johnsonbaugh

Matematikk for økonomer kort og godt

Matematikk for økonomer kort og godt

Veit Rohnes

Sigma R1

Sigma R1

Øgrim

Proof and Proving in Mathematics Education

Proof and Proving in Mathematics Education

Gila Hanna

Prealgebra

Prealgebra

Richard Rusczyk

Matematikfilosofi

Matematikfilosofi

Ole Skovsmose, Ole Ravn

Undetstanding RTI in mathematics

Undetstanding RTI in mathematics

Newman-gonchar

Lineær algebra

Lineær algebra

Rolf Nossum

Elementary linear Algebra

Elementary linear Algebra

Il Evangelical Lutheran Church (Chicago

Algebra and the Elementary Classroom

Algebra and the Elementary Classroom

Maria L. Blanton

Basic Math and Pre-Algebra For Dummies

Basic Math and Pre-Algebra For Dummies

Mark Zegarelli

Linear algebra

Linear algebra

David Aaronovitch

AMPL

AMPL

Robert Fourer

Computational Algebraic Geometry

Computational Algebraic Geometry

Hal Schenck

Barn skaper matematikk

Barn skaper matematikk

Evan K. Aidman

Discrete mathematics for computing

Discrete mathematics for computing

Peter Grossman

Problem Solving and Programming Concepts

Problem Solving and Programming Concepts

Maureen Sprankle

Sinus 2MZ

Sinus 2MZ

Tore Oldervoll

Chapter Zero

Chapter Zero

Carol Schumacher

Algebra för alla

Algebra för alla

Christer Bergsten

Basic Abstract Algebra

Basic Abstract Algebra

P.B. Bhattacharya,

Mathematics for Economists

Mathematics for Economists

Lawrence E. Blume, Carl P. Simon

Matematikk for forkurset. Bd. 2

Matematikk for forkurset. Bd. 2

Jan E. Lenz

Lirel 8: structural equation modeling with the simplis command language

Lirel 8: structural equation modeling with the simplis command language

Carnovsky (designergruppe)

Practical Algebra a self-teaching guide

Practical Algebra a self-teaching guide

Peter Selby

Matematiske modeller

Matematiske modeller

Asle Overholdt

Rableviser

Rableviser

Ole Paus

Grundsymboler : tal, bogstaver, geometriske figurer

Grundsymboler : tal, bogstaver, geometriske figurer

Gotfred Mortensen

Bonnevies lærebok I. Aritmetikk og algebra. Med eksempelsamling for middelskolen

Bonnevies lærebok I. Aritmetikk og algebra. Med eksempelsamling for middelskolen

J. A. Bonnevie