Geometry.Net - the online learning center
Home  - Scientists - Rasiowa Helena

e99.com Bookstore
  
Images 
Newsgroups
Page 3     41-60 of 88    Back | 1  | 2  | 3  | 4  | 5  | Next 20
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

         Rasiowa Helena:     more books (19)
  1. Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing)
  2. The mathematics of metamathematics (Polska Akademia Nauk. Monografie matematyczne) by Helena Rasiowa, 1963
  3. Mathematical problems in computation theory (Banach Center publications) (English and Russian Edition)
  4. Understanding Computers' Intelligence:Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa by D. Niwinski, 2010-08-15
  5. Introduction to Modern Mathematics by Helena Rasiowa, 1973
  6. Fundamenta Informaticae - Vol 1, No 1
  7. Mathematical Foundations of Computer Science (Banach Center Publications, Volume 2) by Helena Rasiowa, A Banachowski, 1977
  8. Lectures on infinitary logic and logics of programs (Quaderni. Serie III) by Helena Rasiowa, 1982
  9. The Mathematics of Metamathematics by Helena & Roman Sikorski Rasiowa, 1963-01-01
  10. Mathematics of Metamathematics.Second Edition Revised. by Helena Rasiowa, 1968
  11. A generalization of a formalized theory of fields of sets on nonclassical logics (Instytut Matematyczny Polskiej Akademii Nauk. Rozprawy matematyczne) by Helena Rasiowa, 1964

41. IARCS Newsletter
of Use Object Orientation; Conference Reports Workshop on Applied Formal MethodsFST TCS'96 Logic, Algebra and Computer Science a tribute to helena rasiowa;
http://www.imsc.res.in/~iarcs/vol2-1/vol2-1.html
IARCS Newsletter
Vol. 2, No. 1. March 1997

42. The Mathematics Genealogy Project - Index Of RAS
Rashwan, Hamza, University of Waterloo, 1983. rasiowa, helena, UniwersytetWarszawski, 1950. Raskind, Wayne, University of Cambridge, 1985.
http://genealogy.math.ndsu.nodak.edu/html/letter.phtml?letter=RAS

43. Korteles
Translate this page 56. 57 rasiowa, helena. An algebraic approach to non-classical logics. 58 rasiowa,helenaand Sikorski»Roman The^mathematics of metamathematics2-d ed.
http://vaizdai.lnb.lt/Uzs/Korteles.asp?skirtukas=Rasch

44. MIMUW - Wiktor Bartol
H. rasiowa's and C. Rauszer's contribution to algebra, Logic, algebra and computerscience helena rasiowa and Cecylia Rauszer, in memoriam (Warsaw, 1995).
http://www.mimuw.edu.pl/english/research/imat-publications/bartol.html
PESEL: Has³o: OG£OSZENIA Wydarzenia European Joint Conferences on Theory and... Zwyciêstwo studentów WMIM ... Szukam graczy RPG SONDA Jaki profil portalu podoba Ci siê najbardziej?
Asceza
S³oneczna jesieñ Smutny b³êkit (w likwidacji) ¦wie¿a rze¿ucha Oddano 48 g³osów. Wydzia³ Matematyki, Informatyki i Mechaniki
Uniwersytetu Warszawskiego
Only in Institute of Mathematics faculty members publications ETAPS 2003 Dla kandydatów na studia Jak trafiæ? Zajêcia ... Institute of Mathematics faculty members publications
Wiktor Bartol
List of Publications
Casasnovas, J.; Bartol, Wiktor; Rosselló, F.
On the lattice of fuzzy weak subalgebras of a fuzzy partial algebra,
NAFIPS-FLINT 2002 International Conference, New Orleans Proceedings, pp.34-39. Casasnovas, J.; Bartol, Wiktor; Rosselló, F.
A characterization of the lattice of fuzzy weak subalgebras of a partial algebra,
IPMU2002 International Conference, Annecy-France Proceedings, pp.1111-1118. Bartol, Wiktor; Miro, J.; Rossello, F.
Sobre las clases de una tolerancia, II
Jornades de Matematica Discreta i Algorismica Proceedings, Ciutat de Palma, 11-12.09.2000, pp.17-18.

45. MIMUW - Andrzej Skowron
To the memory of Prof. helena rasiowa, Fund. Inform. iii and 119-208. Orlowska,E.; Skowron, Andrzej helena rasiowa 1917-1994, Studia Logica 54 (1995), no.
http://www.mimuw.edu.pl/english/research/imat-publications/skowron.html
PESEL: Has³o: OG£OSZENIA Wydarzenia European Joint Conferences on Theory and... Zwyciêstwo studentów WMIM ... Szukam graczy RPG SONDA Jaki profil portalu podoba Ci siê najbardziej?
Asceza
S³oneczna jesieñ Smutny b³êkit (w likwidacji) ¦wie¿a rze¿ucha Oddano 48 g³osów. Wydzia³ Matematyki, Informatyki i Mechaniki
Uniwersytetu Warszawskiego
Only in Institute of Mathematics faculty members publications ETAPS 2003 Dla kandydatów na studia Jak trafiæ? Zajêcia ... Institute of Mathematics faculty members publications
Andrzej Skowron
List of Publications
Skowron, Andrzej
Towards granular multi-agent systems,
in: A. Ghosh, S.K. Pal (Eds.) Soft Computing Approach to Pattern Recognition and Image Processing, , World Scientific 2002, pp.215-234. Skowron, Andrzej; Swinarski, R.
Rough set methods in feature selection and recognition,
Pattern Recognition Letters Peters, J.F.; Skowron, Andrzej; Stepaniuk, J.; Ramanna, S
Towards an ontology of approximate reason,
Fundamenta Informaticae (1-2) (2002), pp.157-173. Deja, R.; Skowron, Andrzej
On some conflict models and conflict resolution

46. Encyclopædia Britannica
experts, The Web's Best Sites, helena rasiowa University of St AndrewsBrief biography of this Polish mathematician. helena, Montana
http://www.britannica.com/search?query=helena modjeska&fuzzy=N&ct=igv&start=6&sh

47. Family Photographs
My Mother helena rasiowa (GozdawaBaczalska). my mother, my mother, my mother, mymother, my mother, my mother. helena rasiowa's WWW Site (under construction).
http://www.coe.uncc.edu/~ras/family.html
Family Photographs
My Mother Helena Rasiowa
(Gozdawa-Baczalska)
Helena Rasiowa's WWW Site (under construction)
My Grandaunt Alina

48. Untitled
helena rasiowa. Dr. JM Font (University of Barcelona, Spain) On thecontributions of helena rasiowa to Mathematical Logic Prof.
http://www.lsi-cad.com/ismvl/mvl96pro.html
Back sasao@cse.kyutech.ac.jp 26th. INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC May 29 - 31, 1996. and 1996 Workshop on Post Binary Ultra-Large Scale Integration (ULSI'96) May 28, 1996 Santiago de Compostela Spain ADVANCE PROGRAME Tuesday, May 28: 10:00: ISMVL'96 On-site Registration ULSI'96 Sessions 13:00: Lunch ULSI'96 Sessions 19:30: Guided visit to the Cathedral 20:30: Reception, Council of Santiago de Compostela Wednesday, May 29: 08:30 - 09:30 ISMVL'96 On-site Registration 09:30 - 09:45 Opening Remarks 09:45 - 10:45 Invited Address: "As you like them: Connectives in Fuzzy Logic" Keynote Speaker: Prof. Dr. Claudi Alsina (Universitat Oberta de Catalunya) 11:00 - 11:30 Coffee break 11:30 - 12:45 Parallel Sessions 1A and 1B SESSION 1A: Switching Theory 11:30 Verification of Multi-valued Logic Networks Rolf Drechsler (University of Freiburg, Germany) 11:55 New Interpolation Algorithms for Multiple-Valued Reed-Muller Forms Zeljko Zilic, Zvonko G. Vranesic (University of Toronto, Canada) 12:20 Family of fast mixed arithmetic logic transforms for multiple-valued input binary functions Susanto Rahardja, Bogdan J. Falkowski (Nanyang Technological University, Singapore) SESSION 1B: Logic I 11:30 Non-Archimedean Models of Lukasiewicz Logic Antonio Di Nola (University of Neaples, Italy) 11:55 A Necessary and sufficient condition for Lukasiewicz logic functions Noboru Takagi, Kyoichi Nakashima (Toyama Prefectural University), Masao Mukaidono (Meiji University, Japan) 12:20 Propositional skew Boolean logic R. J. Bignall, M. Spinks (Monash University, Australia) 13:00 Lunch Meeting of the Excecutive Committee 15:00 - 16:40 Parallel Sessions 2A and 2B SESSION 2A: Fault Modeling, Fault Diagnosis 15:00 Fault Diagnosis System based on Sensitivity Analysis and Fuzzy Logic Luis J. de Miguel, Margarita Mediavilla, Jose R. Peran (University of Valladolid) 15:25 Fault Models for the Multi-valued Current Mode Circuit Yeong-Jar Chang, Chung Len Lee (National Chiao Tung University, Taiwan) Jwu E Chen (Chung-Hwa Polytechnic Institute, Taiwan) 15:50 Testability of Generalized Reed-Muller Circuits Elena V. Dubrova, Jon C. Muzio (University of Victoria, Canada) 16:15 Design of One-Vector Testable Binary Systems Based on Ternary Logic Mou Hu (Shanghai Tiedao University, China) SESSION 2B: Decision Diagrams 15:00 Planarity in ROMDD's of Multiple-Valued Symmetric Functions Jon T. Butler, Jeffrey L. Nowlin (Naval Postgraduate School, USA) Tsutomu Sasao (Kyushu Institute of Technology, Japan) 15:25 Multiple-valued Decision Diagrams with Symmetric Variable Nodes D.M. Miller (University of Victoria, Canada) N. Muranaka (Kansai University, Japan) 15:50 A Method to Represent Multiple-Output Switching Functions by using Multi-Valued Decision Diagrams Tsutomu Sasao (Kyushu Institute of Technology, Japan) Jon Butler (Postgraduate Naval School, USA) 16:15 Complex spectral decision diagrams Bogdan J. Falkowski, Susanto Rahardja (Nanyang Technological University, Singapore) 16:40 - 17:10 Coffee break 17:10 - 18:40 Parallel Sessions 3A and 3B SESSION 3A: Circuits, Logic Design I 17:10 A ternary systolic product-sum circuit for GF(3^m) using neuron MOSFETs Noriaki Muranaka (Kansai University, Japan) Shigenobu Arai (Nintendo Co., Ltd., Japan) Shigeru Imanishi (Kansai University, Japan) D. Michael Miller (University of Victoria, Canada) 17:35 New MVL-PLA Structures based on Current-mode CMOS Technology Mostafa Abd-El-Barr, Muhammad Nayyar Hasan (King Fahd University of Petroleum and Minerals, Saudi Arabia) 18:00 Design of highly parallel linear digital circuits based on a symbol-level redundancy Masami Nakajima, Michitaka Kameyama (Tohoku University, Japan) 18:25 On the Use of VHDL as a Multi-Valued Logic Simulator Come Rozon (Royal Military College of Canada) SESSION 3B: Logic II 17:10 Commodious Axiomatization of Quantifiers in Multiple-valued Logic Reiner Haehnle (University of Karlsruhe, Germany) 17:35 The Incidence Propagation Method Weiru Liu (University of Ulster at Jordanstown, Ireland) 18:00 Approximative Conjunctions Processing by the Multiple-valued Logic Herman Akdag, Myriam Mokhtari (University of Paris, France) 18:25 Intuistionistic Counterparts of Finite-Valued Logics Matthias Baaz (University of Viena, Austria) Christian Fermuller (Stanford University, USA) Thursday, May 30: 09:00 - 10:45 Special Session. "Helena Rasiowa. In memoriam" Invited Speakers: Prof. Dr. G. Malinowski (Lodz University, Poland) "Helena Rasiowa - a view of the academic trajectory and the influence upon Polish and international scientific community" Prof. Dr. J.M. Font (University of Barcelona, Spain) "On the contributions of Helena Rasiowa to Mathematical Logic" Prof. Dr. T. Sales (Polytechnical University of Cataluna, Spain) "From pure to approximate logic" 11:00 - 11:30 Coffee break 11:30 - 12:45 Parallel Sessions 4A and 4B SESSION 4A: Algebra I 11:30 Associativeness versus Recursiveness V. Cutello (University of Catania, Italy) E. Molina, J. Montero (Complutense University of Madrid, Spain) 11:55 Rational Transitivity and its Models Hassan Bezzazi, Ramon Pino Perez (University of Lille, France) 12:20 Several Remarks on the Complexity of Set-Valued Switching Functions Dan A. Simovici (University of Massachusetts at Boston, USA) Corina Reischer (University of Quebec a Trois-Rivieres, Canada) SESSION 4B: Artificial Intelligence, Reasoning. 11:30 Petri Net Representation of Fuzzy Reasoning under Incomplete Information Alberto Bugarin, P. Cari~nena, Senen Barro (University of Santiago de Compostela, Spain) 11:55 Weight Structures for Approximate Reasoning with Weighted Expressions Stephan Lehmke (University of Dortmund, Germany) 12:20 Reasoning in inconsistent stratified knowledge bases Salem Benferhat, Didier Dubois, Henri Prade (University Paul Sabatier, France) 13:00 Lunch Meeting of the Symposium Committee 15:00 Excursion Friday, May 31: 09:45 - 10:45 Invited Address: "Inference in Fuzzy Logic via Generalized Constraint Propagation" Keynote Speaker: Prof. Dr. Dr. h.c. Lotfi A. Zadeh (University of California, Berkeley, USA) 10:45 - 11:15 Coffee Break 11:15 - 12:05 Parallel Sessions 5A and 5B SESSION 5A: Algebra II 11:15 On Isomorphisms between the Lattice of Tolerance Relations and Lattices of Clusterings Helmut Thiele (University of Dortmund, Germany) 11:40 An Algebraic Approach to Hyperalgebras Ivo G. Rosenberg (University of Montreal, Canada) SESSION 5B: Soft Computing 11:15 Wave-parallel computing technique for neural networks based on amplitude-modulated waves Yasushi Yuminaka, Yoshisato Sasaki (Gunma University, Japan) Takafumi Aoki, Tatsuo Higuchi (Tohoku University, Japan) 11:40 Design of multivalued circuits using genetic algorithms Wenjun Wang, Claudio Moraga (University of Dortmund, Germany) 12:10 - 12:55 Plenary Session 13:00 Lunch 15:00 - 16:40 Parallel Sessions 6A and 6B SESSION 6A: Circuits, Logic Design II 15:00 Quaternary Universal-Literal CAM for Cellular Logic Takahiro Hanyu, Manabu Arakaki, Michitaka Kameyama (Tohoku University, Japan) 15:25 Multi-Valued Decoder Based on Resonant Tunneling Diodes in Current Tapping Mode Hao Tang and H. C. Lin (University of Maryland, USA) 15:50 Implementation of skew Boolean logic operations in peristaltic CCD Logic M. Spinks, R. J. Bignall (Monash University, Australia) 16:15 SESSION 6B: Devices 15:00 A literal gate using resonant-tunneling devices T. Waho, K. J. Chen, M. Yamamoto (NTT LSI Laboratories, Japan) 15:25 A Multiple-Valued Ferroelectric Content-Addressable Memory Ali Sheikholeslami, P. Glenn Gulak (University of Toronto, Canada) Takahiro Hanyu (Tohoku University, Japan) 15:50 Interband RTDs with Nanoelectronic HBT-LED Structures for Multiple-Valued Computation Lutz J. Micheel (Wright Laboratory, U.S. Air Force, USA) Hans L. Hartnagel (University of Darmstadt, Germany) 16:15 Low-Energy Logic Circuit Techniques for Multiple-Valued Logic K. Wayne Current, Vojin G. Oklobdzija, D. Maksimovic (University of California at Davis, USA) 16:40 - 17:10 Coffee Break 17:10 - 18:40 Parallel Sessions 7A and 7B SESSION 7A: Algebra III 17:10 Polynomial Completeness Criteria in Finite Boolean Algebras Boris A. Romov (New York, USA) 17:35 Techniques of Computing Logic Derivatives for MVL-Functions Vladimir Shmerko, S. Yanushkevich (Technical University of Szczecin, Poland) V. Levashenko, I. Bondar (Belarussian State Economic University, Republic of Belarus) 18:00 On the Lattice of Partial Clones on a Finite Set Lucien Haddad, Jean Fugere (Royal Military College of Canada) 18:25 The Deepest Repetition Free Decompositions of non-singular functions of finite-valued logics are almost coinciding Fedir Sokhatsky (Pedagogical Institute of Vinnytsia, Ukrainia) SESSION 7B: Logic III 17:10 DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics Stefan Gerberding (University of Darmstadt, Germany) 17:35 Logic expressions of monotonic multiple-valued functions Kyoichi Nakashima, Yutaka Nakamura, Noboru Takagi (Toyama Prefectural University, Japan) 18:00 Efficiently irreducible bases in multiple-valued logic Grant Pogosyan (International Christian University, Japan) 18:25 The Logical not-Polynomial Forms to represent Multiple-valued Functions Elena Zaitseva, Tatyana Kalganova (Belarussian State Economic University, Republic of Belarus) Evgeny Kochergov (Institute on Problems of Criminology, Criminalistics and Forensic Expertise, Republic of Belarus) 20:00: Symposium Banquet Back sasao@cse.kyutech.ac.jp

49. Biographien - Archiv
Translate this page Hastings (1858-1924) http//www.bautz.de/bbkl/r/rashdall_h.shtml Rasin, Stephan http//www.weltchronik.de/bio/cethegus/r/rasin.html rasiowa, helena http//www
http://www.biografien-im-netz.de/archiv.php?Letter=R&Page=250

50. English Books > Mathematics > Logic
1881526992 Logic At Work Essays Dedicated To The Memory Of helena rasiowa rasiowa,helena; Orlowska, Ewa; Hardback; Book ISBN 3790811645 Logic Colloquium 92
http://book.netstoreusa.com/index/bkbmb800.shtml

English Books

German Books

Spanish Books

Sheet Music
... Mathematics Index of 258 Titles
First page
Prev Next Last page ... Advances In Linear Logic Girard, Jean-Yves Lafont, Yves Paperback; ; ISBN: 0521559618 Algebraic Foundations Of Many-Valued Reasoning Cignoli, Roberto D'Ottaviano, Itala M. L. Hardback; Book; ; ISBN: 0792360095 Algebraic Model Theory Other Hart, Bradd T. Hardback; Book; ; ISBN: 0792346661 An Accompaniment To Higher Mathematics (Corr Print) Exner, George Hardback; Book; ; ISBN: 0387946179 An Atlas Of The Smaller Maps In Orientable And Nonorientable Surfaces Jackson, D. M. Visentin, Terry I. Hardback; Book; ; ISBN: 1584882077 An Introduction To Formal Languages And Automata Linz, Peter Hardback; Book; ; ISBN: 0763714224 An Introduction To Formal Languages And Automata Linz, Peter Hardback; Book; ; ISBN: 076370296X An Introduction To Komogorov Complexity And Its Applications Li, Ming With Vitanyi, Paul Hardback; Book; ; ISBN: 0387948686 An Introduction To Mathematical Logic And Type Theory:: To Truth Through Proof Andrews, Peter B. Andrews, P. B. Hardcover;

51. LISTA PUBLIKACJI W 1996-1999
W. Marek, L. Polkowski and A. Skowron (1996). Fundamenta Informaticae28/34, Special Issue To the Memory of Professor helena rasiowa.
http://logic.mimuw.edu.pl/lista.html
PUBLICATIONS SINCE 1996 A. DOCTORAL THESES B MASTER THESES ... SOFTWARE SYSTEMS A. DOCTORAL THESES
  • Jan G. Bazan (1998). Metody wnioskowañ aproksymacyjnych dla syntezy algorytmów decyzyjnych. Ph. D. thesis, supervisor A. Skowron, Warsaw University, pp. 1-179. T. Mollestad (1996). A rough set approach to default rules data mining. Ph.D. Dissertation, supervisor J. Komorowski, Norvegian Institute of Technology, Trondheim, Norway. Rafa³ Deja (2000), Zastosowania metod zbiorów przyblizonych w analizie konfliktów. Ph. D. Dissertation, supervisor A. Skowron, Institute of Computer Science PAN. Hoa S. Nguyen (1999). Data regularity analysis and applications in data mining Ph. D. thesis, supervisor B. Chlebus, Warsaw University. Son H. Nguyen (1997). Discretization of real value attributes. Boolean reasoning approach. Ph. D. thesis, supervisor A. Skowron, Warsaw University Marcin S. Szczuka (1999). Metody symboliczne i sieci neuronowe w konstrukcji klasyfikatorów, (Symbolic methods and artificial neural networks in classifier construction) Ph. D. thesis,Warsaw University Ibrahim Tentush (1997).
  • 52. Consequently.org
    2001/11/26. helena rasiowa (19171994). helena rasiowa was an incredible logicianfrom Poland, who helped place the study of logics on a mathematical footing.
    http://consequently.org/archive/2001/11/26
    consequently.org
    Helena Rasiowa (1917-1994) At last , a woman! The month is nearly at an end, and at last, I have found a female logician to join our list of stars. Helena Rasiowa was an incredible logician from Poland, who helped place the study of logics on a mathematical footing. Continuing on the work of Boole and Lukasiewicz, she showed, in her groundbreaking book An Algebraic Approach to Non-Classical Logics showed how contemporary techniques in algebra may be used to study the structures of propositions arising out of different conceptions of logic. This book is rich in ideas and treatments of Boolean algebras, Heyting algebras (models of intuitionistic logic), the many valued logics of Lukasiewicz, and others. This is one of the first books to give a unified treatment of logics rather than a partisan development of this system or that system. Rasiowa's work also encouraged me as a budding mathematics student, to go into logic. Browsing through its pages in the old University of Queensland Mathematics Library, I saw that the things I was learning in algebra could be used to illuminate my growing interests in logic. More information about Rasiowa can be found at the St. Andrews' History of Mathematics Entry

    53. Consequently.org
    2001/11/26. helena rasiowa (19171994). helena rasiowa was an incredible logicianfrom Poland, who helped place the study of logics on a mathematical footing.
    http://consequently.org/archive/2001/11/
    consequently.org
    Jon Barwise (1942-2000) Jon Barwise was a renaissance logician . He didn't know everything but his contributions ranged so widely that he approximated omniscience quite well. His work ranges from infinitary logic (an extension of Frege-style predicate logic to deal with infinitely long sentences, and infinitary quantifiers), the model theory of first-order logic (continuing on from Tarski's work), generalsed quantifiers (quantifiers other than "for all" and "for some"), admissible sets and generalised recursion theory (the connections between sets and computation), situation semantics and the philosophy of language (using situations , restricted parts of the world as bearers of information, rather than just entire possible worlds), information theory (an account of how information flows and is transmitted), and the logic of diagrams (examining visual representation and inference, as well as linguistic representation). Barwise's work, in all of 35 years, has covered a huge range of disciplines, and it gives you some idea of the breadth of work available in contemporary logic. Barwise's approach of regularly moving into new fields, to keep fresh and active, is a helpful antidote in the current age of increasing specialisation and narrowing. If work like this is possible at the end of the 20th Century, it will be our job to see what might be done in the 21st. More information about Barwise can be found at the Barwise Memorial Pages at Indiana.

    54. Aberja - Philosophen - R
    rasiowa, helena - Biografie (Philosophenlexikon.de);Ratzenhofer, Gustav - Biografie (Philosophenlexikon.de); Ravaisson
    http://www.aberja.com/WissenschaftTechnik/Philosophie/Philosophen/Philosophen-R/
    Hybridsuchmaschine
    Alphabetischer Index
    Homepage anmelden Tipps zur Suche Hilfe
    mit Standardsuche mit Index-Suche mit Meta-Suche mit Auktions-Suche
    Aberja
    Philosophie Philosophen : Philosophen - R : Philosophen - R

    55. Papers On Algebraic And Modal Logic
    Modal logic of relations Yde Venema Maarten Marx In Logic At Work,Memorial Volume for helena rasiowa. Mosaics and stepby-step.
    http://turing.wins.uva.nl/~marx/papers.html
    Papers on modal and algebraic logic
    Maarten Marx
    Available preprints
    Most of my papers are available as ILLC preprints. Here is a listing of technical reports I (co)authored.
    Books
    CD ROM
    Papers in journals or collections
    To appear

    56. Mosaics And Step-by-step
    Publisher's info. Orlowska, E., Institute of Telecommunications, Warsaw, Poland(Ed.) Logic at Work. Essays Dedicated to the Memory of helena rasiowa.
    http://turing.wins.uva.nl/~marx/pub/abstracts/mosstep.html
    Mosaics and step-by-step
    Bibentry
    Publisher's info
    Orlowska, E., Institute of Telecommunications, Warsaw, Poland (Ed.)
    Logic at Work
    Essays Dedicated to the Memory of Helena Rasiowa
    The book is divided into eight parts whose topics are chosen to emphasize application areas of logic, in particular those related to soft computing. Each part demonstrates possible application of logical methods to problems in the respective areas. The book presents a broad variety of fields and issues in which logic provides conceptual, technical or methodological tool. In particular, important topics in foundations of soft computing, including fuzzy logic, multiple-valued logic, theories of inconsistency and ambiguity, theory of rough sets, theories of incomplete information are studied. The book may be seen as a resource to which readers can turn for research horizons and ideas on how logical models and methods can be developed and applied. It is a source for anyone who needs broad perspective on a role of applied logic and a better understanding of logical methods and their applications. All the contributions present new and original results.
      Keywords : Logic, Applied Logic, Soft Computing

    57. Fuzzy Archive: IEEE ISMVL '96 Preliminary Program
    0900 1045 SPECIAL SESSION helena rasiowa. Dr. JM Font (University of Barcelona,Spain) On the contributions of helena rasiowa to Mathematical Logic .
    http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail96/0374.html
    IEEE ISMVL '96 Preliminary Program
    ISMVL '96 Local Org. Comm. elieee@usc.es
    Wed, 17 Apr 1996 19:53:03 +0200

    The Multiple-valued Logic Technical Committee of the IEEE Computer Society
    will hold its 26th. annual symposium on May 29 - 31, 1996 in Santiago de
    Compostela, Spain. The symposium will be sponsored by the University
    of Santiago de Compostela, the Commission for the 5th. Centennial
    Anniversary of the University of Santiago de Compostela and by the
    IEEE Computer Society. The symposium will be co-sponsored by the General
    Direction of Scientific and Technical Research (Spanish Ministry of
    Education and Science), the honorable Council of Santiago de Compostela
    and the Government of Galicia. The University of Santiago de Compostela will host the Symposium on its South campus, located in the new part of the city, very close to the old town. The

    58. Activities
    December 1996, Stefan Banach Center, Warsaw, Poland Lecturer at the Symposium onLOGIC, ALGEBRA and COMPUTER SCIENCE in memoriam of helena rasiowa, December 6
    http://www.cs.man.ac.uk/~jdix/activities.html
    Stays Abroad (> 4 weeks)
    • July-August 1994 Universite de Provence , Marseille, France:
      Visiting Professor at the Computer Science Department.
    • October-November 1995 Technical University of Vienna , Vienna, Austria:
      Lecturing a course on "Deductive Databases and KR" at the Computer Science Department.
    • December 1996 Stefan Banach Center , Warsaw, Poland:
      Lecturer at the Symposium on LOGIC, ALGEBRA and COMPUTER SCIENCE in memoriam of Helena Rasiowa,
      December 6-December 20
    • August 1997 Universite d'Aix-en-Provence , Aix-en-Provence, France:
      Lecturer at ESSLLI of a two weeks course on Knowledge Representation (joint with G. Brewka)
      Get My Slides
    • October-November 1997 Technical University of Vienna , Vienna, Austria:
      Visiting Professor at the Computer Science Department of the Technical University of Vienna.
      WS 97/98 Computational Logic
    • March-April 1998 Universidad Nacional del Sur , Bahia Blanca, Argentine:
      Visiting Professor at the Computer Science Department.
      Lecturing a course Knowledge Representation and LP
    • July-October 1998 University of Maryland , College Park (MD), USA: Visiting Professor at the Department of Computer Science.

    59. Logic At Work Essays Dedicated To The Memory Of Helena Rasiowa (Studies In Fuzzi
    Translate this page Logic at Work Essays Dedicated to the Memory of helena rasiowa (Studiesin Fuzziness and Soft Computing Vol 24) Orlowska Ewa. Logic
    http://www.fachbuch-arena.de/Orlowska-Ewa-Logic-at-Work-Essays-Ded-3790811645.ht
    Logic at Work Essays Dedicated to the Memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing Vol 24) Orlowska Ewa
    Titel: Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing Vol. 24)
    Autor: Orlowska Ewa
    Rubrik: graduate students Logik Angewandte Logik Researchers nonclassical logics computer science Soft Computing Informatik-Logiken Logic Applied-Logic FUZZINESS
    Brockmann Karl L., Stron Flex...

    Yoshida Chisato Illegal Immig...

    Hempelmann Bernd Optimales Fr...

    Böde Ulla, Gruber Edelg Klim...
    ...
    Home

    60. Fundamenta Informaticae, Volume 25
    1 January 1996 Number 2 February 1996 Number 3 4 March 1996 Special issue onformal language theory dedicated to the memory of Professor helena rasiowa.
    http://fi.mimuw.edu.pl/vol25.html
    Contents of Fundamenta Informaticae Volume 25.
    Number 1 January 1996
    Number 2 February 1996
    March 1996 - Special issue on formal language theory dedicated to the memory of Professor Helena Rasiowa.
    Contents of Volume 25, Number 1, January 1996
    Equational Constructor Induction
    I. BETHKE and P. RODENBURG
    On Grammar and Language Families
    H. FERNAU
    About a Polyhedron of Cubic Graphs
    V.A. BONDARENKO and S.V.YUROV
    Syntactic Elements of Declarative Programming: Symbolic Linear Equations
    A. BUJOSA and R. CRIADO
    Unification Modulo ACI+1+0
    P. NARENDRAN
    On a Quantitative Notion of Uniformity
    S. KAUFMANN and M. KUMMER
    On a Notion of Concurrence
    W. KORCZYNSKI
    Contents of Volume 25, Number 2, February 1996
    On Sets of Terms: A Study of Generalisation Revision and of Its Algorithmic Properties
    C. DE LA HIGUERA and M.-C. DANIEL-VATONNE
    Cartesian Stream Transformer Composition
    R. STEPHENS and B.C. THOMPSON
    A Note on the Grammatical Inference Problem for Even Linear Languages
    E. MAKINEN
    Axiomatizations of Temporal Logics on Trace Systems
    W. PENCZEK

    A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

    Page 3     41-60 of 88    Back | 1  | 2  | 3  | 4  | 5  | Next 20

    free hit counter