On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17

On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Καββαδίας, Δημήτρης (Συγγραφέας), Σιδέρη, Μάρθα (Συγγραφέας), Σταυρόπουλος, Ηλίας Χ. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Patras Greece Computer Technology Institute 1998
Θέματα:	CTI TR 1998 TECHNICAL REPORT ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ

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

On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4
ανά: Καββαδίας, Δημήτρης, κ.ά.
Έκδοση: (1998)

ΟΑΣΗΣ:Not According to Hoyle! C.T.I. Technical Report TR 98.4.19
ανά: Βελόνιας, Πλάτωνας, κ.ά.
Έκδοση: (1998)

Digital Robbery; Authors are not Unprotected C.T.I Technical Report TR 98.1.3
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1998)

The Design and Development of Advanced Network Services over the Patras University Campus Network C.T.I Technical Report TR 97.10.38 C.T.I. Technical Report TR 98.2.8
ανά: Αντωνίου, Γ., κ.ά.
Έκδοση: (1997)

Development and Integration of Intranet-based Services in a University C.T.I. Technical Report TR 98.1.1
ανά: Βασιλειάδης, Β., κ.ά.
Έκδοση: (1998)

A Web based Educational Application for Environmental Science Courses C.T.I. Technical Report TR 98.2.7
ανά: Βασιλειάδης, Β., κ.ά.
Έκδοση: (1998)

Development and Integration of WWW -based Services in an Existing University Environment. C.T.I Technical Report TR 98.2.10
ανά: Βασιλειάδης, Β., κ.ά.
Έκδοση: (1998)

An Interactive Web-based Approach for Environmental Science Courses in Secondary Education. C.T.I Technical Report TR 98.2.6
ανά: Βασιλειάδης, Β., κ.ά.

MERIMNA:An Introduction Multimedia Learning Environment in Bookbinding for Mentally Handicapped People C.T.I Technical Report TR 98.2.9
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1998)

How to use HTML Page Popularity to improve a Web Site's Structure C.T.I. Technical Report TR 98.3.16
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1998)

Digital Data Processing for Intellectual Property Rights Preservation Over World Wide Web. C.T.I Technical Report TR 98.1.2
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1998)

A Competitive Symmetrical Transfer Policy for Load Sharing C.T.I Technical Report TR 98.2.5
ανά: Αντωνής, Κωνσταντίνος, κ.ά.
Έκδοση: (1998)

On horn envelopes and hypergraph transversals (Extended Abstract for ISAAC) C.T.I. Technical Report TR 93.10.38
ανά: Καββαδίας, Δημήτρης, κ.ά.
Έκδοση: (1993)

On Attribute Grammars Without Attribute Synthesis C.T.I. [Technical Reports] TR. 89.03.80
ανά: Σιδέρη, Μάρθα
Έκδοση: (1989)

Approximating Linear Programming is log-space complete for P C.T.I. Technical Report TR.89.10.98
ανά: Serna, Maria, 1959-
Έκδοση: (1989)

Optimizing the Implementation of H.261 Technical Report CTI TR 95.05.17
ανά: Καλλές, Δημήτριος, κ.ά.
Έκδοση: (1995)

An Interactive Cooperative Teleworking Environment Telemathea C.T.I. Technical Report TR 97.1.4 C.T.I. Technical Report TR 97.7.29 C.T.I. Technical Report TR 95.11.38
ανά: Καπούλας, Βαγγέλης, κ.ά.
Έκδοση: (1997)

Simultaneous Possession of Resourses: an Analytical Approach C.T.I. Technical Reports TR. 87.06.17
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1987)

On the number of edge disjoint paths C.T.I. [Technical Reports] TR. 97.11.43 C.T.I. [Technical Reports] TR. 97.11.41
ανά: Νικολετσέας, Σωτήρης, κ.ά.
Έκδοση: (1997)

Communicating in Software Engineering Environments: the Graspin paradigm C.T.I. Technical Report TR 91.06.17
ανά: Γαβιώτης, Ιωάννης, κ.ά.
Έκδοση: (1991)

Modeling and design of a Virtual Authoring Environment C.T.I. Technical Report TR 93.04.17
ανά: Καμέας, Αχιλλέας, κ.ά.
Έκδοση: (1993)

A Fast Spatiotemporal Technique for Adaptive Beamforming C.T.I. Technical Reports TR. 96.6.17
ανά: Μουστακίδης, Γεώργιος, κ.ά.
Έκδοση: (1996)

Evaluation of Data Modeling Methods for Geographic Application C.T.I. Technical Report TR. 97.03.17
ανά: Τρύφωνα, Νεκταρία, κ.ά.
Έκδοση: (1997)

Some new Results on Intersection Query Problems C.T.I. Technical Reports TR 96.6.20 C.T.I. Technical Reports TR 95.11.36
ανά: Κίτσιος, Ν., κ.ά.
Έκδοση: (1996)

Fast piercing of iso-oriented planar rectangles C.T.I. Technical Report TR. 97.2.12 C.T.I. Technical Report TR. 97.8.32
ανά: Μακρής, Χρήστος, κ.ά.
Έκδοση: (1997)

The Recphone [C.T.I. Technical Report] TR 91.01.4 Part of TELEMED/RACE Project
ανά: Βασίλογλου, Παναγιώτης, κ.ά.
Έκδοση: (1991)

On the second eigenvalue of random regular graphs with edge faults C.T.I. Technical Report TR 94.03.17
ανά: Νικολετσέας, Σωτήρης, κ.ά.
Έκδοση: (1994)

Parallel Graph Decomposition Techniques with Applications to Shortest Paths Problems C.T.I. Technical Report TR 93.02.8
ανά: Ζαρολιάγκης, Χρήστος, κ.ά.
Έκδοση: (1993)

Efficient Distibuted Algorithms by Using the Archimedean Time Assumption. C.T.I. Technical Reports TR. 87.08.27 C.T.I. Technical Reports TR. 87.08.31
ανά: Σπυράκης, Παύλος Γ., κ.ά.
Έκδοση: (1987)

The Effect of Imperfect Clock Synchronization on Distibuted Timestamp Ordering [C.T.I. Technical Reports] TR. 90.05.13 C.T.I. Technical Reports TR. 90.10.28
ανά: Μπούρας, Χρήστος Ι., κ.ά.
Έκδοση: (1990)

On the Polygon Retrieval Problem C.T.I. Technical Report TR 91.09.23
ανά: Μπιστιόλας, Βαγγέλης, κ.ά.
Έκδοση: (1991)

Requirements for Distributed Hypermedia C.T.I. Technical Report TR 93.01.4
ανά: Γαβιώτης, Ιωάννης, κ.ά.
Έκδοση: (1993)

Right Triangle Enclosures C.T.I. Technical Report TR 93.04.15
ανά: Σοφοτάσιος, Δημήτριος Π., κ.ά.
Έκδοση: (1993)

The Linkage of a Graph C.T.I. Technical Report TR 93.04.16
ανά: Θηλυκός, Δημήτρης, κ.ά.
Έκδοση: (1993)

An introduction to layer algebra C.T.I. Technical Report TR 94.01.2
ανά: Δελής, Βασίλης, κ.ά.
Έκδοση: (1994)

Designing the PELICAN-System C.T.I. Technical Report TR 94.02.7
ανά: Αυγερίδης, Κ., κ.ά.
Έκδοση: (1994)

On Map (Re)classification C.T.I. Technical Reports TR. 96.1.3
ανά: Δελής, Βασίλης, κ.ά.
Έκδοση: (1996)

On the Reliability of Fat-Trees C.T.I. Technical Reports TR. 96.06.18
ανά: Νικολετσέας, Σωτήρης, κ.ά.
Έκδοση: (1996)

Randomized adaptive video on demand CTI [Technical Report] TR 95.11.37
ανά: Καπούλας, Βαγγέλης, κ.ά.
Έκδοση: (1995)

Electronic shops'Engineering methodology. CTI Technical Report TR 2000/04/02
Έκδοση: (2000)

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

Cannot write session to /tmp/vufind_sessions/sess_b2le5lbggq76frv08okrisiflt