The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Fundam. Inform."( http://dblp.L3S.de/Venues/Fundam._Inform. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/fuin

Publication years (Num. hits)
1980 (31) 1981 (40) 1984-1991 (52) 1992 (36) 1993 (38) 1994 (36) 1995 (52) 1996 (96) 1997 (87) 1998 (71) 1999 (83) 2000 (68) 2001 (83) 2002 (105) 2003 (103) 2004 (111) 2005 (120) 2006 (170) 2007 (192) 2008 (204) 2009 (201) 2010 (157) 2011 (171) 2012 (165) 2013 (176) 2014 (186) 2015 (156) 2016 (158) 2017 (158) 2018 (138) 2019 (116)
Publication types (Num. hits)
article(3560)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 3560 publication records. Showing 3560 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Wladyslaw Skarbek, Yu-Dong Zhang Foreword. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pavol Zajac Hybrid Encryption from McEliece Cryptosystem with Pseudo-random Error Vector. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mawunyo Kofi Darkey-Mensah, Przemyslaw Koprowski Intrinsic Factorization of Ideals in Dedekind Domains. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Soma Dutta, Andrzej Jankowski, Grzegorz Rozenberg, Andrzej Skowron Linking Reaction Systems with Rough Sets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xindong Peng Algorithm for Pythagorean Fuzzy Multi-criteria Decision Making Based on WDBA with New Score Function. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1José Espírito Santo, Ralph Matthes, Luís Pinto Decidability of Several Concepts of Finiteness for Simple Types. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miguel A. González 0001, Angelo Oddi, Riccardo Rasconi Efficient Approaches for Solving a Multiobjective Energy-aware Job Shop Scheduling Problem. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhaohao Wang, Huifang Yue, Jianping Deng An Uncertainty Measure Based on Lower and Upper Approximations for Generalized Rough set Models. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sanjib Sadhu, Sasanka Roy, Soumen Nandi, Anil Maheshwari, Subhas C. Nandy Two-center of the Convex Hull of a Point Set: Dynamic Model, and Restricted Streaming Model. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Omar Abu Arqub Numerical Algorithm for the Solutions of Fractional Order Systems of Dirichlet Function Types with Comparative Analysis. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan G. Bazan, Adam Szczur, Andrzej Skowron, Marian Rzepko, Pawel Król, Wojciech Bajorek, Wojciech Czarny A Classifier Based on a Decision Tree with Temporal Cuts. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Suxia Jiang, Yanfeng Wang, Fei Xu, Junli Deng Communication P Systems with Channel States Working in Flat Maximally Parallel Manner. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nikolay Bazhenov Computable Contact Algebras. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Costas D. Koutras, Christos Moyzes, Christos Rantsoudis A Reconstruction of Default Conditionals within Epistemic Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roman Urban, Hubert Anisimowicz A Note on the Durda, Caron, and Buchanan Word Ambiguity Detection Algorithm. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, Thomas Stephen Edward Maibaum Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jakub Szymanik Introduction. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Piotr Wasilewski Algebras of Definable Sets vs. Concept Lattices. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jin Hong, Hong Cheng, Shuihua Wang, Jie Liu Improvement of Cerebral Microbleeds Detection Based on Discriminative Feature Learning. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Ivan Serina, Paolo Torroni Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan Rauch, Milan Simunek Data Mining with Histograms and Domain Knowledge - Case Studies and Considerations. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Valentino Santucci, Marco Baioletti, Alfredo Milani Tackling Permutation-based Optimization Problems with an Algebraic Particle Swarm Optimization Algorithm. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rüdiger Valk Formal Properties of Petri's Cycloid Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Konrad Zdanowski One Henkin Quantifier in the Empty Vocabulary Suffices for Undecidability. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Assaf J. Kfoury Personal Reflections on the Role of Mathematical Logic in Computer Science. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pardis Kavand, Ali Mohades Geodesic Center of a Simple Polygon using a Logarithmic Number of Extra Variables. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roberta Gori, Damas P. Gruska, Paolo Milazzo Studying Opacity of Reaction Systems through Formula Based Predictors. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gösta Grahne, Ali Moallemi Universal (and Existential) Nulls. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1William Fajardo, Oswaldo Lezama Elementary Matrix-computational Proof of Quillen-Suslin Theorem for Ore Extensions. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gui-Wu Wei Pythagorean Fuzzy Hamacher Power Aggregation Operators in Multiple Attribute Decision Making. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yoann Marquer Algorithmic Completeness of Imperative Programming Languages. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro Model Enumeration via Assumption Literals. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bin Yang 0004, Bao Qing Hu, Junsheng Qiao Three-way Decisions with Rough Membership Functions in Covering Approximation Space. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Francesco Santini 0001, Paolo Torroni Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guangzhao Cui, Yangyang Jiao, Jianxia Liu, Jixiang Li, Xuncai Zhang, Zhonghua Sun Complex Complement Circuit Design of Four Inputs Based on DNA Strand Displacement. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Raj Kishor Bisht, Taishin Yasunobu Nishida, Kouhei Yamamoto Word Matrix Rewriting Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Karsten Wolf Synthesis for Various Petri Net Classes with Union/Find. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lucjan Hanzlik, Kamil Kluczniak, Miroslaw Kutylowski CTRL-PACE: Controlled Randomness for e-Passport Password Authentication. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexis Bès, Christian Choffrut Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bingjie Guo, Luhui Wang, Tao Wu, Yafei Dong DNA Ion Detector and Logic Circulation Amplification Model Based on Mercury and Silver Ions. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wendan Xie, Changjun Zhou, Hui Lv, Qiang Zhang 0008 Logic Operation Model of the Complementer Based on Two-domain DNA Strand Displacement. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcin Wolski, Anna Gomolinska From Data to Pattern Structures: Near Set Approach. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anna Sawicka, Magdalena Kacprzak, Andrzej Zbrzezny Towards Encoding of the Transition Relation in Dialogue Games Model Checking. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paul Downen, Zena M. Ariola, Silvia Ghilezan The Duality of Classical Intersection and Union Types. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1James Cooper, Radu Nicolescu The Hamiltonian Cycle and Travelling Salesman Problems in cP Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Darja Rupnik Poklukar, Janez Zerovnik Networks with Extremal Closeness. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Suxia Jiang, Yanfeng Wang, Jinbang Xu, Fei Xu The Computational Power of Cell-like P Systems with Symport/Antiport Rules and Promoters. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jym Paul Carandang, Francis George C. Cabarle, Henry N. Adorna, Nestine Hope S. Hernandez, Miguel Ángel Martínez-del-Amor Handling Non-determinism in Spiking Neural P Systems: Algorithms and Simulations. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Robert Drylo, Jacek Pomykala Jacobians of Hyperelliptic Curves over ℤn and Factorization of n. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Junwei Sun, Nan Li, Yanfeng Wang, Wei Wang A Novel Chaotic System and its Modified Compound Synchronization. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thorsten Altenkirch, Aleksy Schubert Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti Semantics and Controllability of Time-Aware Business Processes. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fawaz Alsolami, Talha Amin, Mikhail Moshkov, Beata Zielosko, Krzysztof Zabinski Comparison of Heuristics for Optimization of Association Rules. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Abdulla Aldilaijan, Mohammad Azad, Mikhail Moshkov Experimental Study of Totally Optimal Decision Trees. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lech Polkowski Introducing Mass-based Rough Mereology in a Mereological Universe with Relations to Fuzzy Logics and a Generalization of the Łukasiewicz Logical Foundations of Probability. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mieczyslaw A. Klopotek On the Existence of Kernel Function for Kernel-Trick of k-Means in the Light of Gower Theorem. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Günther Charwat, Stefan Woltran Expansion-based QBF Solving on Tree Decompositions. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fatemeh Ghassemi, Wan Fokkink Reliable Restricted Process Theory. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jing Yang, Zhixiang Yin, Jianzhong Cui, Kai-feng Huang The Design of RNA Biosensor Based on Nano-gold and Magnetic Nano-particle. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tadhg Fitzgerald, Barry O'Sullivan Candidate Selection and Instance Ordering for Realtime Algorithm Configuration. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wil M. P. van der Aalst Lucent Process Models and Translucent Event Logs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tae Jong Choi, Jong-Hyun Lee, Hee Yong Youn, Chang Wook Ahn Adaptive Differential Evolution with Elite Opposition-Based Learning and its Application to Training Artificial Neural Networks. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Linqiang Pan, Mario J. Pérez-Jiménez, Gexiang Zhang Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mieczyslaw Kula, Damian Niwinski, Jacek Pomykala Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Slobodan Drazic Advanced Morphological Distances Based on Dilation and Erosion. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano Argumentation Reasoning via Circumscription with Pyglaf. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wladyslaw Skarbek Symbolic Tensor Neural Networks for Digital Media - from Tensor Processing via BNF Graph Rules to CREAMS Applications. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Petr Jancar, Jérôme Leroux, Grégoire Sutre Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chrysafis Hartonas, Ewa Orlowska Representation of Lattices with Modal Operators in Two-Sorted Frames. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tanzeela Shaheen, John G. Stell Graphical Partitions and Graphical Relations. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pawel Morawiecki Malicious SHA-3. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1László Kovács An Algorithm using Context Reduction for Efficient Incremental Generation of Concept Set. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roussanka Loukanova Gamma-Reduction in Type Theory of Acyclic Recursion. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maciej Pesko, Adam Svystun, Pawel Andruszkiewicz, Przemyslaw Rokita, Tomasz Trzcinski Comixify: Transform Video Into Comics. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shailza Sharma, Vivek Singh Bawa, Vinay Kumar A Novel Two-stage Residual Learning Based Convolutional Neural Network for Image Super Resolution. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ryszard Janicki, Maciej Koutny Operational Semantics, Interval Orders and Sequences of Antichains. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcin Michalak, Dominik Slezak On Boolean Representation of Continuous Data Biclustering. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca New Semantical Insights Into Call-by-Value λ-Calculus. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marc Bezem, Thierry Coquand Skolem's Theorem in Coherent Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek Applying Modern SAT-solvers to Solving Hard Problems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Omar Abu Arqub Application of Residual Power Series Method for the Solution of Time-fractional Schrödinger Equations in One-dimensional Space. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marek Czarnecki, Konrad Zdanowski A Modal Logic of a Truth Definition for Finite Models. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rafal Biedrzycki, Pawel Zawistowski, Bartlomiej Twardowski Deep Learning Optimization Tasks and Metaheuristic Methods. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jeroen Ketema, Jakob Grue Simonsen Computing with Infinite Terms and Infinite Reductions. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rick Statman Simple SubTypes of Intersection Types. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Toshihiko Kurata, Ken-etsu Fujita Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1William Fajardo A Computational Maple Library for Skew PBW Extensions. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrzej M. Borzyszkowski Regular Orthomodular Posets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrej Dudenhefner, Jakob Rehof Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Surabhi Tiwari, Pankaj Kumar Singh 0002 An Approach of Proximity in Rough Set Theory. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Robert Drylo, Tomasz Kijko, Michal Wronski Determining Formulas Related to Point Compression on Alternative Models of Elliptic Curves. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wojciech Penczek, Holger Schlingloff, Piotr Wasilewski Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Melvin Fitting What Are Justification Logics? Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Justyna Grudzinska, Marek W. Zawadowski Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bartosz Zielinski 0002 A Query Language Based on Term Matching and Rewriting. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Thomas Hujsa Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tufan Turaci, Aysun Ozan Aytaç Combining the Concepts of Residual and Domination in Graphs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rafal Pilarczyk, Xin Chang, Wladyslaw Skarbek Human Face Expressions from Images. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Herman Geuvers, Iris van der Giessen, Tonny Hurkens Strong Normalization for Truth Table Natural Deduction. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 3560 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license