Słownik terminologii komputerowej

Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.


1 definition found From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]: Sequel 1. Precursor to SQL. ["System R: Relational Approach to Database Management", IBM Res Lab, San Jose, reprinted in Readings in Database Systems]. 2. U Leeds. Theorem prover specification language. Pattern matching notation similar to Prolog. Compiled into Lisp. [Proc ICJAI 13]. (ftp://agora.leeds.ac.uk/scs/logic/).