Tobias Nipkow

Author of Term Rewriting and All That

Members	Reviews	Rating	Favorited	Events
24	0		0	0

Works by Tobias Nipkow

organize | filter

Term Rewriting and All That (also Author) 17 copies
Isabelle/HOL: A Proof Assistant for Higher-Order Logic 7 copies

Members

Top members (works)

dakvid (2), louisedennis (2), pgourdin (1), koffieyahoo (1), mborer (1), marco.benini (1), calpaterson (1), mkjones (1), pmcjones (1), BrianTRice (1), lawford (1), markcornwell (1), raak (1) — more

Recently added

calpaterson (1), erikcharlebois (1), marco.benini (1), lawford (1), pmcjones (1), mborer (1), markcornwell (1), pgourdin (1)

Member favorites

Members: None

Add to favorites

Related tags

Events on LibraryThing Local

No events listed. (add an event)

Common Knowledge

history

You must log in to edit Common Knowledge data.

For more help see the Common Knowledge help page.

Canonical name

Legal name

Other names

Date of birth

Date of death

Burial location

Gender

male

Nationality

Country (for map)

Birthplace

Place of death

Places of residence

Education

Occupations

Relationships

Organizations

Awards and honors

Agents

Short biography

Disambiguation notice

Is this you?

Become a LibraryThing Author.

Links

No links yet.

Member ratings

Average: No ratings.

Related series

Lecture Notes in Computer Science

Improve this author

Combine/separate works

Tobias Nipkow

Author division

Tobias Nipkow is currently considered a "single author." If one or more works are by a distinct, homonymous authors, go ahead and split the author.

Includes

Tobias Nipkow is composed of 1 name.

Combine with…

No authors suggested.
Search