QR-Code

Automated deduction in equational logic and cubic curves /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Maccune, William
Weitere Verfasser:	Padmanabhan, R.
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlin : Springer, 1996
Ausgabe:	[1st ed.]
Schriftenreihe:	Lecture notes in artificial intelligence Vol. 1095
Schlagworte:	booleovská grupa > algebra > axióma > algebraická krivka
ISBN:	3540613986
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Linejnyje algebraičeskije gruppy /
von: Borel, Armand
Veröffentlicht: (1972)

Geometric mechanics on Riemannian manifolds. Applications to partial differential equations /
von: Calin, Ovidiu
Veröffentlicht: (2005)

Svazy a Booleovy algebry /
von: Kopka, Jan
Veröffentlicht: (1984)

Atlas of thermoanalytical curves : TG-, DTG-, DTA-curves measured simultaneously.
Veröffentlicht: (1971)

Codes. Their parameters and geometry /
von: Boer, Mario Antonius de
Veröffentlicht: (1997)

Curves and surfaces for computer graphics /
von: Linkeová, Ivana 1962-
Veröffentlicht: (2012)

On determining maximal and minimal properties of plane curves /
von: Sonin, Nikolaj Jakovlevič, 1849-1915
Veröffentlicht: (2017)

Matematika vo výučbe, výskume a praxi. 2002 : Zborník ved. prác z medzinár. ved. konf., 11. 6. 2002 /
von: Baraníková, Helena
Veröffentlicht: (2002)

Deductive databases and logic programming /
von: Das, Subrata Kumar
Veröffentlicht: (1992)

Cubic Fields with Geometry
von: Hambleton, Samuel A.
Veröffentlicht: (2018)

Cubic forms. Algebra, geometry, arithmetic /
von: Manin, Yu. I.
Veröffentlicht: (1986)

Číslicová technika. Základy konstruktérské praxe /
von: Matoušek, David 1972-
Veröffentlicht: (2004)

MATLAB. Numerická matematika, laboratórne cvičenia. I. časť /
von: Bačová, Beatrix
Veröffentlicht: (1998)

Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
von: Pierro, Alessandra Di
Veröffentlicht: (1996)

Language equations /
von: Leiss, Ernst L.
Veröffentlicht: (1999)

Acta Universitatis Matthiae Belii. Natural sciences series. Series mathematics. Nr. 7 /
von: Balibrea, Francisco
Veröffentlicht: (1999)

33rd international symposium on multiple-valued logic : Proceedings, Tokyo, Japan, 16 - 19 May 2003 /
von: Zadeh, Lotfi Asker 1921-
Veröffentlicht: (2003)

Úvod do diskrétní matematiky /
von: Močkoř, Jiří
Veröffentlicht: (1992)

Diskrétna matematika /
von: Bučko, Michal
Veröffentlicht: (1998)

Logika pre každého /
von: Gahér, František
Veröffentlicht: (1998)

Sbornik izbrannych trudov.
von: Tjurin, Andrej Nikolajevič, et al.
Veröffentlicht: (2004)

Grupy geometrických transformácií /
von: Čižmár, Ján, 1935-
Veröffentlicht: (1984)

Zborník seminára o počítačovej geometrii. SCG '99. Roč. 8 : Kočovce, Sept. 1999 /
von: Blahut, Jerzy
Veröffentlicht: (1999)

Kriptografija /
von: Smart, Nigel P. 1967-
Veröffentlicht: (2006)

Singular Algebraic Curves With an Appendix by Oleg Viro /
von: Greuel, Gert-Martin
Veröffentlicht: (2018)

Chemická termodynamika /
von: Múčka, Viliam
Veröffentlicht: (1996)

Logic. Form and function. The mechanization of deductive reasoning /
von: Robinson, John Alan
Veröffentlicht: (1979)

Komplexní čísla a jejich užití v elementární matematice /
von: Ráb, Miloš
Veröffentlicht: (1990)

Algebra /
von: Procházka, Ladislav
Veröffentlicht: (1990)

Algebra a teoretická aritmetika. 1. diel /
von: Katriňák, Tibor
Veröffentlicht: (1995)

Quantum structures : meeting, Liptovský Ján, August 30 - September 5, 1998 /
von: Dvurečenskij, Anatolij
Veröffentlicht: (1998)

Teorie všeho. Hledání nejhlubšího vysvětlení /
von: Barrow, John D. 1952-
Veröffentlicht: (1997)

Samozřejmosti nebo paradoxy? Rozšířená přednáška pro Učenou společnost ČR /
von: Ženíšek, Alexander 1936-
Veröffentlicht: (2000)

Geometria a jej aplikácie 2013 : od algebraickej geometrie po fotogrametriu ; zborník abstraktov, Bratislava, Slovensko, 30. január 2013 /
Veröffentlicht: (2013)

Solution bounds for algebraic equations in control theory /
von: Savov, Svetoslav
Veröffentlicht: (2014)

Algebraic Curves Towards Moduli Spaces /
von: Kazaryan, Maxim E.
Veröffentlicht: (2018)

Acta mathematica Universitatis Comenianae : autumn 2005.
von: Kanas, S.
Veröffentlicht: (2005)

Zborník sympózia o počítačovej geometrii SCG ́2009 = Proceedings of symposium on Computer geometry SCG ́2009.
von: Velichová, Daniela 1951-
Veröffentlicht: (2009)

Zborník sympózia o počítačovej geometrii = Proceedings of symposium on computer geometry : SCG ́2010, Kočovce, October 2010.
von: Velichová, Daniela 1951-
Veröffentlicht: (2010)

Logics for digital circuit verification. Theory, algorithms, and applications /
von: Janssen, Gradus Leonardus Johannes Maria
Veröffentlicht: (1999)