Gems of theoretical computer science /

Gems of theoretical computer science /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Schöning, Uwe, 1955- (συγγραφέας)
Άλλοι συγγραφείς:	Pruim, Randall J. (συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin : Springer, c1998.
Θέματα:	Αυτόματη απόδειξη θεωρημάτων

Παρόμοια τεκμήρια

Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
Έκδοση: (1990)

A proof theory for general unification /
ανά: Snyder, Wayne, 1955-
Έκδοση: (1991)

Ontic : a knowledge representation system for mathematics /
ανά: McAllester, David A.
Έκδοση: (1989)

Logical frameworks /
Έκδοση: (1991)

Logical environments /
Έκδοση: (1993)

Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P
ανά: Κεραμύδας, Ελευθέριος
Έκδοση: (2004)

Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
ανά: Γριβοκωστοπούλου, Φωτεινή
Έκδοση: (2009)

Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P
ανά: Κεραμύδας, Ελευθέριος
Έκδοση: (2010)

Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
ανά: Γριβοκωστοπούλου, Φωτεινή
Έκδοση: (2010)

Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
ανά: Ioakimidis, Nikolaos
Έκδοση: (2018)

Αυτόματη παραγωγή και αξιολόγηση ασκήσεων και χρήση παιχνιδοποίησης σε ευφυή συστήματα διδασκαλίας
ανά: Γριβοκωστοπούλου, Φωτεινή
Έκδοση: (2017)

Αιώνιες αναζητήσεις και ανάλογες θεωρήσεις : του όντως Όντος /
ανά: Δρούλιας, Ιωάννης Δ.
Έκδοση: (1981)

Μαθηματική απόδειξη και επίλυση προβλήματος στο λύκειο
ανά: Λύρη, Αναστασία
Έκδοση: (2014)

Η περί Θεού αυταπάτη
ανά: Dawkins, Richard 1941-
Έκδοση: (2007)

Computational models of speech pattern processing /
Έκδοση: (1999)

Lettres a Sophie "Lettres sur la religion, sur l'ame humaine et sur l'existence du Dieu"
Έκδοση: (2004)

Speech time-frequency representations /
ανά: Riley, Michael D. (Michael Dennis), 1955-
Έκδοση: (1989)

Automatic speech recognition : the development of the SPHINX system /
ανά: Lee, Kai-Fu
Έκδοση: (1989)

Phonological parsing in speech recognition /
ανά: Church, Kenneth Ward
Έκδοση: (1987)

Fundamentals of speech signal processing /
ανά: Saitō, Shūzō, 1924-
Έκδοση: (1985)

Speech recognition and coding : new advances and trends /
Έκδοση: (1995)

Recent advances in speech understanding and dialog systems /
Έκδοση: (1988)

Speech recognition and understanding : recent advances, trends, and applications /
Έκδοση: (1992)

Speechreading by humans and machines : models, systems, and applications /
Έκδοση: (1996)

Acoustical and environmental robustness in automatic speech recognition /
ανά: Acero, Alejandro
Έκδοση: (1993)

Robustness in automatic speech recognition : fundamentals and applications /
ανά: Junqua, Jean-Claude
Έκδοση: (1996)

Comparison of classic and hybrid HMM approaches to speech recognition over telephone lines /
ανά: Hutter, Hans-Peter
Έκδοση: (1997)

Speech and speaker recognition /
Έκδοση: (1985)

Pattern recognition in speech and language processing /
Έκδοση: (2003)

Speech recognition over digital channels : robustness and standards /
ανά: Peinado, Antonio
Έκδοση: (2006)

Pattern recognition : an algorithmic approach /
ανά: Murthy, M. N. (Mankal Narasinha), 1933-
Έκδοση: (2011)

Αναγνώριση συνεχούς ομιλίας σε περιβάλλον θορύβου με χρήση πολλών μικροφώνων
ανά: Νόκας, Γεώργιος Ν.
Έκδοση: (2003)

Αυτόματη αναγνώριση ομιλητή χρησιμοποιώντας μεθόδους ταυτοποίησης κλειστού συνόλου
ανά: Κεραμεύς, Ηλίας Κ.
Έκδοση: (2008)

Αιτιολογικοί παράγοντες στην παθογένεση των ανοσολογικών αποβολών εμβρύων
ανά: Ψωμογερίδου-Παπακυριαζή, Λένα
Έκδοση: (1992)

Speech and language processing : an introduction to natural language processing, computational linguistics, and speech /
ανά: Jurafsky, Dan, 1962-
Έκδοση: (2000)

SPECOM 2005 : 10th International Conference Speech and Computer 17-19 October, 2005 Patras, Greece /
Έκδοση: (2005)

Assembly automation and product design /
ανά: Boothroyd, Geoffrey
Έκδοση: (1992)

Προσωποποιημένη προβολή περιεχομένου του Διαδικτύου με τεχνικές προ-επεξεργασίας, αυτόματης κατηγοριοποίησης και αυτόματης εξαγωγής περίληψης
ανά: Πουλόπουλος, Βασίλειος
Έκδοση: (2007)

Αυτόματη δρομολόγηση σε δίκτυο αστικών συγκοινωνιών
ανά: Γκίκας, Νικόλαος, κ.ά.
Έκδοση: (2010)

Αναγνώριση ομιλητή και ομιλίας με χρήση κυματιδίων
ανά: Σιαφαρίκας, Μιχαήλ Β.
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών