journals/amai/Sellen97:::Jürgen Sellen:::On the Topological Structure of Configuration Spaces.
journals/amai/ReedL95:::David W. Reed::Donald W. Loveland:::Near-Horn Prolog and the Ancestry Family of Procedures.
journals/amai/BarriosMPR01:::Dolores Barrios::Daniel Manrique::M. Rosario Plaza::Juan Rios:::An Algebraic Model for Generating and Adapting Neural Networks by Means of Optimization Methods.
journals/amai/BiskupP01:::Joachim Biskup::Torsten Polle:::Decomposition of object-oriented database schemas.
journals/amai/DongS97:::Guozhu Dong::Jianwen Su:::Deterministic FOIES are Strictly Weaker.
journals/amai/ClaydenC90:::A. D. Clayden::M. R. Croft:::Statistical consultation - Who's the expert?.
journals/amai/Arzi-Gonczarowski99:::Zippora Arzi-Gonczarowski:::Perceive this as that - Analogies, artificial perception, and category theory.
journals/amai/HuangKC98:::Xiaorong Huang::Manfred Kerber::Lassaad Cheikhrouhou:::Adaptation of Declaratively Represented Methods in Proof Planning.
journals/amai/BaligaS96:::Ganesh Baliga::Anil M. Shende:::Learning-Theoretic Perspectives of Acceptable Numberings.
journals/amai/PalopoliZ96:::Luigi Palopoli::Carlo Zaniolo:::Polynomial-Time Computable Stable Models.
journals/amai/Dershowitz00:::Nachum Dershowitz:::Artificial intelligence: Retrospective/prospective.
journals/amai/BenoistH03:::Emmanuel Benoist::Jean-Jacques Hébrard:::Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas.
journals/amai/Rymon94:::Ron Rymon:::An Se-Tree-Based Prime Implicant Generation Algorithm.
journals/amai/Bochman95:::Alexander Bochman:::Modal Nonmonotonic Logics Demodalized.
journals/amai/MarekTT97:::V. Wiktor Marek::Jan Treur::Miroslaw Truszczynski:::Representation Theory for Default Logic.
journals/amai/NolaSEGG02:::Antonio di Nola::Salvatore Sessa::Francesc Esteva::Lluis Godo::Pere Garcia:::The Variety Generated by Perfect BL-Algebras: an Algebraic Approach in a Fuzzy Logic Setting.
journals/amai/Manaster-Ramer93:::Alexis Manaster-Ramer:::Capacity, Complexity, Construction.
journals/amai/HeraultH95:::Laurent Hérault::Radu Horaud:::Smooth Curve Extraction by Mean Field Annealing.
journals/amai/OkuboH98:::Yoshiaki Okubo::Makoto Haraguchi:::Constructing Predicate Mappings for Goal-Dependent Abstraction.
journals/amai/BradleyS96:::Elizabeth Bradley::Reinhard Stolle:::Automatic Construction of Accurate Models of Physical Systems.
journals/amai/Gelfond94:::Michael Gelfond:::Logic Programming and Reasoning with Incomplete Information.
journals/amai/HookerF90:::John N. Hooker::C. Fedjiki:::Branch-and-Cut Solution of Inference Problems in Propositional Logic.
journals/amai/BuchsbaumKV91:::Adam L. Buchsbaum::Paris C. Kanellakis::Jeffrey Scott Vitter:::A Data Dtructure for Arc Insertion and Regular Path Finding.
journals/amai/Purdom97:::Paul Walton Purdom Jr.:::Backtracking and Random Constraint Satisfaction.
journals/amai/Voronkov95:::Andrei Voronkov:::On Computability by Logic Programs.
journals/amai/Koppel91:::Moshe Koppel:::ESBL: an integrated method for learning from partial information.
journals/apal/Arai98:::Toshiyasu Arai:::Some Results on Cut-Elimination, Provable Well-Orderings, Induction, and Reflection.
journals/apal/Simonetta01:::Patrick Simonetta:::Abelian C-minimal groups.
journals/apal/KummerS93:::Martin Kummer::Frank Stephan:::Weakly Semirecursive Sets and r.e. Orderings.
journals/apal/Shavrukov93:::V. Yu. Shavrukov:::A Note on the Diagonalizable Algebras of PA and ZF.
journals/apal/Feng90:::Qi Feng:::A Hierarchy of Ramsey Cardinals.
journals/apal/ButzKRW00:::Carsten Butz::Ulrich Kohlenbach::Søren Riis::Glynn Winskel:::Preface.
journals/apal/GradelM96:::Erich Grädel::Gregory L. McColm:::Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic.
journals/apal/Harizanov91a:::Valentina S. Harizanov:::Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra.
journals/apal/Scowcroft89:::Philip Scowcroft:::More on Brouwer's Refutations.
journals/apal/Scowcroft99:::Philip Scowcroft:::Some Purely Topological Models for Intuitionistic Analysis.
journals/apal/Moerdijk95:::Ieke Moerdijk:::A Model for Intuitionistic Non-Standard Arithmetic.
journals/apal/Apter97:::Arthur W. Apter:::Patterns of Compact Cardinals.
journals/apal/Kossovski01:::Nikolai Kossovski:::Computational complexity of quantifier-free negationless theory of field of rational numbers.
journals/apal/Ramanujam99:::R. Ramanujam:::View-Based Explicit Knowledge.
journals/apal/JockuschS91:::Carl G. Jockusch Jr.::Robert I. Soare:::Degrees of Orderings Not Isomorphic to Recursive Linear Orderings.
journals/apal/Mancosu91:::Paolo Mancosu:::Generalizing Classical and Effective Model Theory in Theories of Operations and Classes.
journals/apal/Lano93:::Kevin Lano:::The Intuitionistic Alternative Set Theory.
journals/apal/ScowcroftM93:::Philip Scowcroft::Angus Macintyre:::On the Elimination of Imaginaries from Certain Valued Fields.
journals/apal/Pillay97:::Anand Pillay:::Differential Galois Theory II.
journals/apal/Lerman00:::Manuel Lerman:::A Necessary and Sufficient Condition for Embedding Principally Decomposable Finite Lattices into the Computably Enumerable Degrees.
journals/apal/DowneyS93a:::Rodney G. Downey::Michael Stob:::Friedberg Splittings of Recursively Enumerable Sets.
journals/apal/FuchinoKT92:::Sakaé Fuchino::Sabine Koppelberg::Makoto Takahashi:::On L<sub>infty k</sub>-free Boolean Algebras.
journals/apal/Otero93:::Margarita Otero:::The Joint Embedding Property in Normal Open Induction.
journals/apal/Blass01:::Andreas Blass:::Needed reals and recursion in generic reals.
journals/apal/MillerNPS91:::Dale Miller::Gopalan Nadathur::Frank Pfenning::Andre Scedrov:::Uniform Proofs as a Foundation for Logic Programming.
journals/apal/Otto97:::Martin Otto:::Canonization for Two Variables and Puzzles on the Square.
journals/apal/Wolter97:::Frank Wolter:::The Structure of Lattices of Subframe Logics.
journals/apal/Zawadowski95:::Marek W. Zawadowski:::Descent and Duality.
journals/apal/ApterC00:::Arthur W. Apter::James Cummings:::A Global Version of a Theorem of Ben-David and Magidor.
journals/apal/McNaughton93:::Robert McNaughton:::Infinite Games Played on Finite Graphs.
journals/apal/Cummings93:::James Cummings:::Possible Behaviours for the Mitchell Ordering.
journals/apal/Miller94:::Chris Miller:::Expansions of the Real Field with Power Functions.
journals/apal/Hamkins00:::Joel David Hamkins:::The Lottery Preparation.
journals/apal/KhoussainovS98:::Bakhadyr Khoussainov::Richard A. Shore:::Computable Isomorphisms, Degree Spectra of Relations, and Scott Families.
journals/apal/Chong89:::C. T. Chong:::Hyperhypersimple Sets and Delta<sub>2</sub> Systems.
journals/apal/Sureson91:::Claude Sureson:::About Prikry Generic Extensions.
journals/apal/Hrushovski89:::Ehud Hrushovski:::Almost Orthogonal Regular Types.
journals/apal/KearnesKV99:::Keith A. Kearnes::Emil W. Kiss::Matthew Valeriote:::A Geometric Consequence of Residual Smallness.
journals/apal/Stanley01:::M. C. Stanley:::Forcing closed unbounded subsets of Omega<sub>2</sub>.
journals/apal/BeckmannP98:::Arnold Beckmann::Wolfram Pohlers:::Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory.
journals/apal/Engelen94:::Fons van Engelen:::On Borel Ideals.
journals/apal/GoldsternS90:::Martin Goldstern::Saharon Shelah:::Ramsey Ultrafilters and the Reaping Number - Con(r&lt;u).
journals/apal/BonnetR00:::Robert Bonnet::Matatyahu Rubin:::On well-generated Boolean algebras.
journals/apal/DAquino93:::Paola D'Aquino:::A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta<sub>0</sub>.
journals/apal/Razon00:::Aharon Razon:::The Elementary Theory of e-free PAC Domains.
journals/apal/Harkleroad92:::Leon Harkleroad:::Polynomial-Time Analogues of Isolatedness.
journals/apal/HylandP93:::Martin Hyland::Valeria de Paiva:::Full Intuitionistic Linear Logic (extended abstract).
journals/apal/BrendleJS92:::Jörg Brendle::Haim Judah::Saharon Shelah:::Combinatorial Properties of Hechler Forcing.
journals/apal/Englert01:::Burkhard Englert:::A necessary and sufficient condition for embedding principally decomposable finite lattices into the computable enumerable degrees preserving greatest element.
journals/apal/Leivant02:::Daniel Leivant:::Intrinsic reasoning about functional programs I: first order theories.
journals/apal/CreedT00:::P. Creed::J. K. Truss:::On o-Amorphous Sets.
journals/apal/Dosen93:::Kosta Dosen:::Rudimentary Kripke Models for the Intuitionistic Propositional Calculus.
journals/apal/DowmZ02:::Alan Dowm::Jinyuan Zhou:::Partition subalgebras for maximal almost disjoint families.
journals/apal/Gallier91:::Jean H. Gallier:::What's So Special About Kruskal's Theorem and the Ordinal Gamma<sub>0</sub>? A Survey of Some Results in Proof Theory.
journals/apal/Gallier98:::Jean H. Gallier:::Typing Untyped lambda-Terms, or Reducibility Strikes Again!
journals/apal/Dries89:::Lou van den Dries:::Dimension of Definable Sets, Algebraic Boundedness and Henselian Fields.
journals/apal/Ambos-SpiesS93:::Klaus Ambos-Spies::Richard A. Shore:::Undecidability and 1-Types in the Recursively Enumerable Degrees.
journals/apal/OostenS00:::Jaap van Oosten::Alex K. Simpson:::Axioms and (counter) examples in synthetic domain theory.
journals/apal/Dougherty97:::Randall Dougherty:::Narrow Coverings of omega-ary Product Spaces.
journals/apal/BalcarS01:::Bohuslav Balcar::Petri Simon:::The name for Kojman-shelah collapsing function.
journals/apal/Boolos93:::George Boolos:::The Analytical Completeness of Dzhaparidze's Polymodal Logics.
journals/apal/Shelah96b:::Saharon Shelah:::Was Sierpinski Right? III: Can Continuum-cc. Times c.c.c. be Continuum-c.c.?
journals/apal/ShelahM90:::Saharon Shelah::Michael Makkai:::Categoricity of Theories in L<sub>k omega</sub>, with k a Compact Ordinal.
journals/apal/ShelahV99:::Saharon Shelah::Andrés Villaveces:::Toward Categoricity for Classes with no Maximal Models.
journals/apal/Shore97:::Richard A. Shore:::Logic Colloquium '95, Haifa, Israel, 9-17 August 1995 - Preface.
journals/apal/SkvortsovS93:::Dmitrij P. Skvortsov::Valentin B. Shehtman:::Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics.
journals/apal/Collins99:::Arthur W. Collins:::Behaviorism and Belief.
journals/apal/HyttinenT91:::Tapani Hyttinen::Heikki Tuuri:::Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories.
journals/apal/Casanovas99:::Enrique Casanovas:::The Number of Types in Simple Theories.
journals/apal/GivantS94:::Steven Givant::Saharon Shelah:::Universal Theories Categorical in Power and kappa-Generated Models.
journals/apal/Soloviev97:::Sergei Soloviev:::Proof of a Conjecture of S. Mac Lane.
journals/apal/GrigorievV01:::Dima Grigoriev::Nicolai Vorobjov:::Complexity of Null-and Positivstellensatz proofs.
journals/apal/Fejer98:::Peter A. Fejer:::Lattice Representations for Computability Theory.
journals/apal/Shelah99:::Saharon Shelah:::Categoricity for Abstract Classes with Amalgamation.
journals/apal/Solecki99:::Slawomir Solecki:::Analytic Ideals and Their Applications.
journals/apal/Rybakov90:::Vladimir V. Rybakov:::Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus.
journals/apal/Srour90:::Gabriel Srour:::The Notion of Independence in Categories of Algebraic Structures, Part III: Equational Classes.
journals/apal/Hrbacek01:::Karel Hrbacek:::Realism, nonstandard set theory, and large cardinals.
journals/apal/EklofH95:::Paul C. Eklof::Ivo Herzog:::Model Theory of Modules Over a Serial Ring.
journals/apal/Steel95:::John R. Steel:::Projectively Well-Ordered Inner Models.
journals/apal/BlassGS99:::Andreas Blass::Yuri Gurevich::Saharon Shelah:::Choiceless Polynomial Time.
journals/apal/Hatzikiriakou96:::Kostas Hatzikiriakou:::WKL<sub>0</sub> and Stone's Separation Theorem for Convex Sets.
journals/apal/Takeuti95:::Gaisi Takeuti:::Separations of Theories in Weak Bounded Arithmetic.
journals/apal/NerodeR89:::Anil Nerode::Jeffrey B. Remmel:::Complexity-Theoretic Algebra II: Boolean Algebras.
journals/apal/DowneyS93:::Rodney G. Downey::Michael Stob:::Splitting Theorems in Recursion Theory.
journals/apal/HatzikiriakouS89:::Kostas Hatzikiriakou::Stephen G. Simpson:::Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic.
journals/apal/Huberich93:::Markus Huberich:::Large Ideals on Small Cardinals.
journals/apal/CholakD93:::Peter Cholak::Rodney G. Downey:::Lattice Nonembeddings and Intervals of the Recursively Enumerable Degrees.
journals/apal/Gitik03:::Moti Gitik:::On gaps under GCH type assumptions.
journals/apal/Gitik89:::Moto Gitik:::The Negation of the Singular Cardinal Hypothesis from o(k) = k<sup>++</sup>.
journals/apal/Talayco95:::Daniel E. Talayco:::Applications of Cohomology to Set Theory I: Hausdorff Gaps.
journals/apal/Talayco96:::Daniel E. Talayco:::Applications of Cohomology to Set Theory II: Todorcevic Trees.
journals/apal/Mulry89:::Philip S. Mulry:::A Categorical Approach to the Theory of Computation.
journals/apal/Avigad02:::Jeremy Avigad:::Saturated models of universal theories.
journals/apal/Jackson90:::Steve Jackson:::Partition Properties and Well-Ordered Sequences.
journals/apal/Vardi91:::Moshe Y. Vardi:::Verification of Concurrent Programs: The Automata-Theoretic Framework.
journals/apal/Hella89:::Lauri Hella:::Definability Hierarchies of Generalized Quantifiers.
journals/apal/Kohlenbach00:::Ulrich Kohlenbach:::Things That Can and Things That Cannot Be Done in PRA.
journals/apal/Blanck97:::Jens Blanck:::Domain Representability of Metric Spaces.
journals/apal/Bianconi91:::Ricardo Bianconi:::Model Completeness Results for Elliptic and Abelian Functions.
journals/apal/CardoneDd94:::Felice Cardone::Mariangiola Dezani-Ciancaglini::Ugo de'Liguoro:::Combining Type Disciplines.
journals/apal/Selivanov96:::Victor L. Selivanov:::On Recursively Enumerable Structures.
journals/apal/Andretta91:::Alessandro Andretta:::Large Cardinals and Iteration Trees of Height omega.
journals/apal/JudahSW90:::Haim Judah::Saharon Shelah::W. Hugh Woodin:::The Borel Conjecture.
journals/apal/Farmer93:::William M. Farmer:::A Simple Type Theory with Partial Functions and Subtypes.
journals/apal/ArchangelskyDT96:::Dmitry A. Archangelsky::Michael I. Dekhtyar::Mikhail A. Taitslin:::Linear Logic for Nets with Bounded Resources.
journals/apal/Adamowicz93:::Zofia Adamowicz:::A Contribution to the End-Extension Problem and the Pi<sub>1</sub> Conservativeness Problem.
journals/apin/AngerRGB96:::Frank D. Anger::Rita V. Rodríguez::Hans W. Guesgen::Johan van Benthem:::Space, Time, and Computation: Trends and Problems.
journals/apin/Lin00:::Tsau Young Lin:::Data Mining and Machine Oriented Modeling: A Granular Computing Approach.
journals/apin/Myllymaki99:::Petri Myllymäki:::Massively Parallel Probabilistic Reasoning with Boltzmann Machines.
journals/apin/MiguelS00:::Ian Miguel::Qiang Shen:::Dynamic Flexible Constraint Satisfaction.
journals/apin/PapadimitriouMVB02:::Stergios Papadimitriou::Seferina Mavroudi::Liviu Vladutu::Anastasios Bezerianos:::Generalized Radial Basis Function Networks Trained with Instance Based Learning for Data Mining of Symbolic Data.
journals/apin/CottaT03:::Carlos Cotta::José M. Troya:::Embedding Branch and Bound within Evolutionary Algorithms.
journals/apin/ZouaouiTD99:::Fakher Zouaoui::Renaud Thétiot::Michel Dumas:::Behavioral Interpretation According to Multimodeling Representation.
journals/apin/AkkirajuKMW01:::Rama Akkiraju::Pinar Keskinocak::Sesh Murthy::Frederick Wu:::An Agent-Based Approach for Scheduling Multiple Machines.
journals/apin/BressanGLMSS00:::Stéphane Bressan::Cheng Hian Goh::Natalia Levina::Stuart E. Madnick::Ahmed Shah::Michael Siegel:::Context Knowledge Representation and Reasoning in the Context Interchange System.
journals/apin/WilkinsonL99:::Jeff Wilkinson::Robert Levinson:::Research Environment for Data Analysis Tool Allocators.
journals/apin/TidharHS98:::Gil Tidhar::Clinton Heinze::Mario C. Selvestrel:::Flying Together: Modelling Air Mission Teams.
journals/apin/KononenkoSR97:::Igor Kononenko::Edvard Simec::Marko Robnik-Sikonja:::Overcoming the Myopia of Inductive Learning Algorithms with RELIEFF.
journals/apin/SucarPRM97:::Luis Enrique Sucar::Joaquín Pérez-Brito::J. Carlos Ruiz-Suárez::Eduardo F. Morales:::Learning Structure from Data and Its Application to Ozone Prediction.
journals/apin/BergamaschiN94:::Sonia Bergamaschi::Bernhard Nebel:::Automatic Building and Validation of Multiple Inheritance Complex Complex Object Database Schemata.
journals/apin/WeissI96:::Sholom M. Weiss::Nitin Indurkhya:::Selecting the Right-Size Model for Prediction.
journals/apin/DzeroskiDG00:::Saso Dzeroski::Damjan Demsar::Jasna Grbovic:::Predicting Chemical Parameters of River Water Quality from Bioindicator Data.
journals/apin/Mitra02:::Debasis Mitra:::A Path-Consistent Singleton Modeling (CSM) Algorithm for Arc-Constrained Networks.
journals/apin/GoodwinC97:::Roger Goodwin::Paul W. H. Chung:::An Integrated Framework for Representing Design History.
journals/apin/MarciniakV02:::Jacek Marciniak::Zygmunt Vetulani:::Ontology of Spatial Concepts in a Natural Language Interface for a Mobile Robot.
journals/apin/DurandAM00:::Nicolas Durand::Jean-Marc Alliot::Frédéric Médioni:::Neural Nets Trained by Genetic Algorithms for Collision Avoidance.
journals/apin/DebuseR99:::Justin C. W. Debuse::Victor J. Rayward-Smith:::Discretisation of Continuous Commercial Database Features for a Simulated Annealing Data Mining Algorithm.
journals/apin/TurmoCR99:::J. Turmo::Neus Català::Horacio Rodríguez:::An Adaptable IE System to New Domains.
journals/cacm/PankoB02:::Raymond R. Panko::Hazel Glenn Beh:::Monitoring for pornography and sexual harassment.
journals/cacm/LotschG64:::Helmut Lotsch::Malcolm D. Gray:::Algorithm 244: Fresnel integrals.
journals/cacm/LuebbertC59:::William F. Luebbert::P. W. Collom Jr.:::Signal Corps Research and Development on Automatic Programming of Digital Computers.
journals/cacm/BlasgenCE77:::Mike W. Blasgen::Richard G. Casey::Kapali P. Eswaran:::An Encoding Method for Multifield Sorting and Indexing.
journals/cacm/Bell69:::James R. Bell:::A new method for determining linear precedence functions for precedence grammars.
journals/cacm/Bell97:::Gordon Bell:::The Body Electric.
journals/cacm/KatzA97a:::James Katz::Philip Aspden:::A Nation of Strangers?
journals/cacm/Arms01:::William Y. Arms:::Uniform resource names: handles, PURLs, and digital object identifiers.
journals/cacm/Weinstein00:::Lauren Weinstein:::Risks of Internet Voting.
journals/cacm/RalstonS80:::Anthony Ralston::Mary Shaw:::Curriculum '78 - Is Computer Science Really that Unmathematical?
journals/cacm/Borg01:::Anita Borg:::Universal literacy - a challenge for computing in the 21st Century.
journals/cacm/ChenowethSL03:::Tim Chenoweth::David Schuff::Robert St. Louis:::A method for developing dimensional data marts.
journals/cacm/MarkowitzMP84:::H. M. Markowitz::Ashok Malhotra::Donald P. Pazel:::The EAS-E Application Development System: Principles and Language Summary.
journals/cacm/EttredgeRS02:::Michael Ettredge::Vernon J. Richardson::Susan Scholz:::Timely financial reporting at corporate web sites?
journals/cacm/Bron74:::Coenraad Bron:::Merge Sort Algorithm (Remark on Algorithm 426).
journals/cacm/IanovF58a:::Iu. I. Ianov::M. D. Friedman:::On Matrix Program Schemes.
journals/cacm/Wolfram84:::Stephen Wolfram:::Special Section on Computing at the Frontiers of Theoretical Physics - Introduction.
journals/cacm/Broder64:::Sol Broder:::Final examination scheduling.
journals/cacm/ChuS63:::Wen-Hwa Chu::Donald R. Saathoff:::A semi-iterative process for evaluating arctangents.
journals/cacm/Stewart70:::G. W. Stewart:::Incorporating origin shifts into the QR algorithm for symmetric tridiagonal matrices.
journals/cacm/Skinner74:::C. William Skinner:::A Heuristic Approach to Inductive Inference in Fact Retrieval Systems.
journals/cacm/Codd70:::E. F. Codd:::A Relational Model of Data for Large Shared Data Banks.
journals/cacm/Cody67:::William J. Cody:::Another aspect of economical polynomials.
journals/cacm/Munro97a:::Neil Munro:::The Magnetic Poles of Data Collections.
journals/cacm/Cohn66:::Charles Erwin Cohn:::Incorporation of nonstandard input/output devices into FORTRAN systems.
journals/cacm/SpohrerS86:::James C. Spohrer::Elliot Soloway:::Novice Mistakes: Are the Folk Wisdoms Correct?
journals/cacm/NewellPGH01:::Sue Newell::Shan L. Pan::Robert D. Galliers::Jimmy C. Huang:::The Myth of the Boundaryless Organization.
journals/cacm/Lucente00:::Mark Lucente:::Conversational interfaces for e-commerce applications.
journals/cacm/Brooks02:::Rodney A. Brooks:::Humanoid robots.
journals/cacm/Denning97a:::Peter J. Denning:::The ACM Digital Library Goes Live.
journals/cacm/Sprott00:::David Sprott:::Componentizing the Enterprise Application Packages.
journals/cacm/Foster62:::Malcolm B. Foster:::A method of representation, storage and retrieval of 13 random codes in a 4-digit number or 16 random codes in a 5-digit number.
journals/cacm/Diefendorff94:::Keith Diefendorff:::History of the PowerPC Architecture.
journals/cacm/Baker62:::James J. Baker:::A note on multiplying Boolean matrices.
journals/cacm/GuerraouiF99a:::Rachid Guerraoui::Mohamed Fayad:::Object-oriented Abstractions for Distributed Programming.
journals/cacm/HellyESMMPE02:::John J. Helly::T. Todd Elvins::Don Sutton::David Martinez::Scott E. Miller::Steward Pickett::Aaron M. Ellison:::Controlled publication of digital scientific data.
journals/cacm/Kolbig69a:::K. S. Kölbig:::Certification of algorithm 300 [S22]: coulomb wave functions.
journals/cacm/Eisenstadt83:::Marc Eisenstadt:::A User-Friendly Software Environment for the Novice Programmer.
journals/cacm/DuLC03:::Timon C. Du::Eldon Y. Li::An-Pin Chang:::Mobile agents in distributed network management.
journals/cacm/FoxHCD92:::Edward A. Fox::Lenwood S. Heath::Qi Fan Chen::Amjad M. Daoud:::Practical Minimal Perfect Hash Functions for Large Databases.
journals/cacm/Cheung74:::To-Yat Cheung:::An Interactive Graphic Display for Region Partitioning by Linear Programming.
journals/cacm/Eick01:::Stephen G. Eick:::Visualizing online activity.
journals/cacm/Bates94:::Joseph Bates:::The Role of Emotion in Believable Agents.
journals/cacm/Parker79:::Donn B. Parker:::Vulnerabilities of EFTs to Intentionally Caused Losses.
journals/cacm/Parnas97:::David Lorge Parnas:::Software Engineering: An Unconsummated Marriage.
