Knext

Query Results: Abstract.a (page 251)

6,201 results in the active KB.

A virtual terminal can be abstract.
Logical form
Learned from
2 sentences.
A (syntax notation number) can be abstract.
Logical form
Learned from
2 sentences.
Persons may call abstract interpretation.
Logical form
Learned from
2 sentences.
Abstract (data types) can be built-in.
Logical form
Learned from
2 sentences.
Semantics can be abstract with respect to contextual equivalence.
Logical form
Learned from
2 sentences.
A tracking can be abstract.
Logical form
Learned from
2 sentences.
A localization can be abstract.
Logical form
Learned from
2 sentences.
(Control systems) can be abstract.
Logical form
Learned from
2 sentences.
An abstract machine can be formal.
Logical form
Learned from
2 sentences.
Persons may present an abstract model.
Logical form
Learned from
2 sentences.
An integer can be abstract.
Logical form
Learned from
2 sentences.
Coefficients can be abstract.
Logical form
Learned from
2 sentences.
Reference can be to abstract number.
Logical form
Learned from
2 sentences.
A (syntax representation) can be abstract.
Logical form
Learned from
2 sentences.
A piece can be constituted-of-or-filled-with abstract syntax.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-09-07.