Resolution over linear equations and multilinear proofs

Gespeichert in:
Autor*in:

Raz, Ran [verfasserIn]

Tzameret, Iddo

Format:

Artikel

Erschienen:

2009

Systematik:

Umfang:

31

Übergeordnetes Werk:

Enthalten in: Annals of pure and applied logic - Amsterdam [u.a.] : Elsevier, 1983, 155(2009), 3, Seite 194-224

Übergeordnetes Werk:

volume:155 ; year:2009 ; number:3 ; pages:194-224 ; extent:31

Katalog-ID:

OLC1807197204

Nicht das Richtige dabei?

Schreiben Sie uns!