Pascal and Francis Bibliographic Databases

Help

Search results

Your search

is.\*:("0302-9743")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 115163

  • Page / 4607
Export

Selection :

  • and

Current trends in SNePS-Semantic network processing system: [selected revised and updated papers], Buffalo NY, November 13, 1989KUMAR, Deepack.Lecture notes in computer science. 1990, Vol 437, issn 0302-9743, 165 p.Conference Proceedings

Algebraic and logic programming, Nancy, France, October 1-3, 1990KIRCHNER, Hélène; WECHLER, Wolfgang.Lecture notes in computer science. 1990, Vol 463, issn 0302-9743, 393 p.Conference Proceedings

Algorithms, August 16-18, 1990, Tokyo, JapanASANO, Tetsuo; IBARAKI, Toshihide; IMAI, Miroshi et al.Lecture notes in computer science. 1990, Vol 450, issn 0302-9743, 486 p.Conference Proceedings

AL'88: 2nd Australian joint artificial intelligence conference, Adelaide, Australia, November 15-18, 1988BARTER, Christopher J; BROOKS, Michael J.Lecture notes in computer science. 1990, Vol 406, issn 0302-9743, 471 p.Conference Proceedings

Sorts and types in artificial intelligence, Eringerfeld, April 24-26, 1989BLÄSIUS, Karl Hans; HEDTSTÜCK, Ulrich; ROLLINGER, Claus-Rainer et al.Lecture notes in computer science. 1990, Vol 418, issn 0302-9743, 315 p.Conference Proceedings

ABADI & LAMPORT and STARK: towards a proof theory for stuttering, dense domains and refinement mappingsDIEPSTRATEN, E; KUIPER, R.Lecture notes in computer science. 1990, Vol 430, pp 208-238, issn 0302-9743, 31 p.Conference Paper

Completeness theorems for automataMERRITT, M.Lecture notes in computer science. 1990, Vol 430, pp 544-560, issn 0302-9743, 17 p.Conference Paper

Foundations of compositional program refinement ―safety properties―GERTH, R.Lecture notes in computer science. 1990, Vol 430, pp 777-807, issn 0302-9743, 31 p.Conference Paper

METATEM : a framework for programming in temporal logicBARRINGER, H; FISHER, M; GABBAY, D et al.Lecture notes in computer science. 1990, Vol 430, pp 94-129, issn 0302-9743, 36 p.Conference Paper

Refinement of concurrent systems based on local state transformationsPOMELLO, L.Lecture notes in computer science. 1990, Vol 430, pp 641-668, issn 0302-9743, 28 p.Conference Paper

Specialization in logic programming : from Horn Clause Logic to Prolog and concurrent PrologKOK, J. N.Lecture notes in computer science. 1990, Vol 430, pp 401-413, issn 0302-9743, 13 p.Conference Paper

A fast sequential and parallel algorithm for the computation of the k-closure of a graphSCHIERMEYER, I.Lecture notes in computer science. 1990, Vol 411, pp 211-217, issn 0302-9743Conference Paper

A full resolution elevation representation requiring three bits per pixelSHAFFER, C. A.Lecture notes in computer science. 1990, Vol 409, pp 45-64, issn 0302-9743Conference Paper

A note on the almost-everywhere hierarchy for nondeterministic timeALLENDER, E; BEIGEL, R; HERTRAMPF, U et al.Lecture notes in computer science. 1990, Vol 415, pp 1-11, issn 0302-9743Conference Paper

A study of neural network applications to signal processingKOLLIAS, S.Lecture notes in computer science. 1990, Vol 412, pp 233-242, issn 0302-9743Conference Paper

A theory for rule triggering systemsYULI ZHOU; MEICHUN HSU.Lecture notes in computer science. 1990, Vol 416, pp 407-421, issn 0302-9743Conference Paper

An adaptive overflow technique for B-treesBAEZA-YATES, R. A.Lecture notes in computer science. 1990, Vol 416, pp 16-28, issn 0302-9743Conference Paper

Deductive databases : theory meets practiceZANIOLO, C.Lecture notes in computer science. 1990, Vol 416, pp 1-15, issn 0302-9743Conference Paper

Epistemological categories of systems : an overview and mathematical formulationKLIR, G. J; ROZEHNAL, I.Lecture notes in computer science. 1990, Vol 410, pp 7-32, issn 0302-9743Conference Paper

Extending a database to support the handling of environmental measurement dataNEUGEBAUER, L.Lecture notes in computer science. 1990, Vol 409, pp 147-165, issn 0302-9743Conference Paper

Filtering hyperedge-replacement languages through compatible propertiesHABEL, A; KREOWSKI, H.-J.Lecture notes in computer science. 1990, Vol 411, pp 107-120, issn 0302-9743Conference Paper

Graph rewriting systems with prioritiesBILLAUD, M; LAFON, P; METIVIER, Y et al.Lecture notes in computer science. 1990, Vol 411, pp 94-106, issn 0302-9743Conference Paper

Methods and tools for equivalent data model mapping constructionKALINICHENKO, L. A.Lecture notes in computer science. 1990, Vol 416, pp 92-119, issn 0302-9743Conference Paper

Node distribution in a PR quadtreeCHUAN-HENG ANG; HANAN SAMET.Lecture notes in computer science. 1990, Vol 409, pp 233-252, issn 0302-9743Conference Paper

Object oriented design of CAST systemsMITTELMANN, R.Lecture notes in computer science. 1990, Vol 410, pp 69-75, issn 0302-9743Conference Paper

  • Page / 4607