QR-Code

Deductive databases and logic programming /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Das, Subrata Kumar
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Wokingham : Addison-Wesley Publishing, 1992
Ausgabe:	1st ed.
Schlagworte:	množina > funkcia > graf > mriežka > matematická logika > vyhodnocovanie dotazov
ISBN:	0201568977
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Mathematical logic /
von: Demlová, Marie
Veröffentlicht: (1999)

Sbírka úloh z elementární aritmetiky s pokyny k řešení /
von: Bělík, Miroslav
Veröffentlicht: (1990)

Matematická logika /
von: Demlová, Marie
Veröffentlicht: (1999)

Orthomodular structures as quantum logics /
von: Pták, Pavel 1947-
Veröffentlicht: (1991)

Discrete mathematics. A unified approach /
von: Wiitala, Stephen A.
Veröffentlicht: (1987)

Logic and discrete mathematics. A computer science perspective /
von: Grassmann, Winfried Karl
Veröffentlicht: (1996)

Notes on the limits to knowledge explored with Darwinian logic /
von: Marchetti, Cesare
Veröffentlicht: (1998)

Opakování elementární matematiky. Příprava k příjímací zkoušce /
von: Rosická, Marta
Veröffentlicht: (1992)

Teorie vyčíslitelnosti /
von: Mareš, Jan 1944-
Veröffentlicht: (2008)

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

Cvičení z matematické analýzy /
von: Šiňajová, Edita
Veröffentlicht: (1994)

Cvičení z matematické analýzy. I. díl /
von: Klaška, Jiří
Veröffentlicht: (2000)

Diskrétní matematika /
von: Mezník, Ivan 1942-
Veröffentlicht: (2004)

Mistrovství v Microsoft Excel 2000. Kniha pro pokročilé uživatele Excelu a ty, kdo se jimi chtějí stát /
von: Brož, Milan 1946-
Veröffentlicht: (2000)

Cvičení z matematické analýzy /
von: Pelantová, Edita 1959-
Veröffentlicht: (1998)

The evolution of type theory in logic and mathematics /
von: Laan, Twan Dismas Laurens
Veröffentlicht: (1997)

Matematická logika : určeno pro posluchače přírodověd. fak. /
von: Dymáček, Michael, 1943-
Veröffentlicht: (1968)

Logika, algebry a grafy /
von: Kolář, Josef
Veröffentlicht: (1989)

Matematická logika /
von: Demlová, Marie
Veröffentlicht: (1997)

Diskrétní matematika pro užitou informatiku /
von: Mezník, Ivan 1942-
Veröffentlicht: (2009)

Úvod do vedy.
von: Olejár, Marián sr
Veröffentlicht: (2008)

Logic colloquium '85 : Proceedings of the colloquium, Orsay, France, July 1985 /
von: Burdman Feferman, Anita
Veröffentlicht: (1987)

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

ACM transactions on computational logic
Veröffentlicht: (2000)

Vvedenije v matematičeskuju logiku.
von: Church, Alonzo
Veröffentlicht: (1960)

Vvedenije v matematičeskuju logiku /
von: Mendelson, Elliott
Veröffentlicht: (1971)

Světonázorové problémy v matematice. 1. díl : Matematická logika a formální teorie, ... /
von: Drábek, Jaroslav
Veröffentlicht: (1986)

Zaujímavá logika /
von: Bizám, György
Veröffentlicht: (1982)

Algebra pravdivostných hodnôt výrobkov pre 4. ročník gymnázia s triedami zameranými na matematiku /
von: Odvárko, Oldřich 1938-
Veröffentlicht: (1988)

Elektronika. I. diel. Vybrané obvody číslicovej techniky /
von: Petrovič, Pavol
Veröffentlicht: (2002)

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

Matematická logika /
von: Draženská, Emília, et al.
Veröffentlicht: (2012)

IEEE international computer performance and dependability symposium : IPDS '96 : proceedings, Urbana-Champaign, Illinois, September 4 - 6, 1996 /
von: Duesing, E.
Veröffentlicht: (1996)

Matematické vzorce /
von: Bartsch, Hans-Jochen
Veröffentlicht: (2006)

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

Kapitoly z diskrétní matematiky /
von: Matoušek, Jiří
Veröffentlicht: (2002)

Riešené príklady z matematiky pre gymnáziá a stredné školy. 1. diel /
von: Berová, Mária
Veröffentlicht: (2003)

Matematika plus : riešené príklady pre základné školy a osemročné gymnáziá /
von: Kováčik, Ján, et al.
Veröffentlicht: (2016)

Maths for computing and information technology /
von: Giannasi, Frank
Veröffentlicht: (1995)

Elementy teorii sistem /
von: Marasanov, Vladimir Vasiľjevič
Veröffentlicht: (1991)